Open arronmabrey opened 7 years ago
When merging a PR via github. Github produces a nice merge commit containing a link back to the original PR.
(the #9 in the image above)
#9
This is not the case if you merge the PR locally and push via git.
I guess this is kinda late, but if you still use magit-gh-pulls, could you please check if the latest commit works for you? Thanks!
When merging a PR via github. Github produces a nice merge commit containing a link back to the original PR.
(the
#9
in the image above)This is not the case if you merge the PR locally and push via git.