This repository has been archived by the owner on Apr 21, 2021. It is now read-only.

Ability to merge PR via github api vs git #99

Open

arronmabrey opened this issue Oct 13, 2016 · 1 comment

Labels

arronmabrey commented Oct 13, 2016

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.

alexander-yakushev added a commit that referenced this issue


          Make default merge message Github-like

441ee8b

Addresses #99.

Contributor

alexander-yakushev commented Nov 17, 2017

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!

alexander-yakushev added the enhancement label

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.