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

Popular posts from this blog

apache - Remove .php and add trailing slash in url using htaccess not loading css -

inno setup - TLabel or TNewStaticText - change .Font.Style on Focus like Cursor changes with .Cursor -