On 29/04/2015 14:18, Benedikt Ritter wrote: > 2015-04-29 15:00 GMT+02:00 Peter Ansell <ansell.pe...@gmail.com>: > >> Hi, >> >> All pull requests are manually merged by a committer and then pushed >> to git-wip-us. The git-wip-us repository is then automatically >> mirrored back to GitHub. GitHub will then automatically close the Pull >> Request when they see that there is a merge commit that combines the >> commits from the Pull Request back into the branch the Pull Request >> was targeted at. >> > > I haven't found out how to get this right. Do we have documentation at the > ASF hwo to do this right? I've only managed to mark PRs as closed when > merging them back by adding "This closes #61" to the merge commit message. > Is it possible to mark PRs as merged at github?
No. Commenting in the commit message is the way to do it. Mark (wearing his infra hat) --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org For additional commands, e-mail: dev-h...@commons.apache.org