git - How to close a GitHub pull request with a commit message? -
my team uses pull requests internally code-reviewing application maintain, when it's time merge commit, push directly master
. we're repo collabs anyway, , not using pull request merge code, avoid polluting our commit history merge commits. since app internal our team, no 1 else affected.
what want know is, can amend commit message "closes pr #30"
, have github automatically close pull request me?
i know can use commit messages close issues, i'm hoping there similar pull requests. did quick search online , of so, , didn't see anything.
you want @ github page. says:
you can use of following keywords close issue via commit message:
- close
- closes
- closed
- fix
- fixes
- fixed
- resolve
- resolves
- resolved
so "fixes #123" or "resolved #456" work. pull requests mapped issues, works pull requests too.
note: you'll see message unmerged commits because amended pull request. looking @ pull request, won't obvious pr incorporated (versus plain closed) unless put meaningful in first line of commit message can see message in pull request.
Comments
Post a Comment