Patrick, The 'dummy commit' is a Github trick. In any commit message you can write "closes #<PR-number>", like "closes #84" (by my own experience you can also write "fixes #<PR-NUMBER>". You can put as many of those messages as you like in the commit message even if the commit doesn't have relation with the PRs. Then GH will close those PRs.
Edward On Wed, Dec 7, 2016 at 3:21 PM, Edward Ribeiro <[email protected]> wrote: > > On Wed, Dec 7, 2016 at 2:09 PM, Patrick Hunt <[email protected]> wrote: > >> Interesting, thanks for the update Edward. >> >> "close via a dummy commit" - I don't think that's possible, doesn't GH >> match up a PR to a commit based on the hash? >> > > Afaik, yes. I didn't understand what he meant by 'dummy commit', tbqh. > Gonna ask him now. :) > > Edward > >
