There are the following ways to automatically close PRs: 1. Add "This closes #42" to commit message 2. Explicit merge of PR'ed branch 3. When sha's of commits on master equals sha's PR commits (e.g. merge via rebase)
In any other cases we need to ask an author to close his PR manually. -- ,,,^..^,,, On Tue, Mar 24, 2015 at 10:35 AM, Andy Wenk <a...@nms.de> wrote: > Although it is a lot of work to go through all the PRs one way is to ask > the submitter to close the PR. If not done after say a week, simply close > it. Not sure if this can be done without this #magic at github ... > On Mar 24, 2015 1:14 AM, "Paul Davis" <paul.joseph.da...@gmail.com> wrote: > >> Hi all, >> >> I've been going through trying to review open PRs today (long overdue, I >> know) and I've noticed that there seem to be a lot of "open" PRs that have >> actually been merged. Did we ever find a way to be able to close PRs >> wihtout having to add a commit with the "Fixes #whatever" magic? >> >> Paul >>
