My GitHub pull request was not merged and closed | Dark Hacker News