Channels
welcome
github-notifications
development
announce
random
plugins
general
pex
Powered by
#general
Title
b
bored-art-40741
09/18/2015, 7:34 PM
If the SHA of the HEAD of your PR branch matches the NEW SHA of the branch the PR is tracking against when the latter branch is updated, GH will automatically close the PR as "merged"
2 Views
Post