message no. 151484
Posted by Freeder in #github at 2016-09-24T04:59:00Z
Hi, I'm maintaining a git repo. People submit PRs, and I manually download them, tweak a few things, then push to the master branch. Somewhere along there, github loses track that the push is associated with the original PR, and I get orphan PRs that say 'closed w/o merging' (I state 'closes #XX' in the merge). How can I modify my process to ensure PRs are linked to merges?