Me too, plus `hub merge $PR_URL` in order to merge PRs locally with the same commit message as if I had pressed the "Merge Pull Request" button on GitHub.
I do this in order for the merge commit to be signed.
I do this in order for the merge commit to be signed.
No comments yet.