Re: Many old open PRs

2016-10-23 Thread Jean-Baptiste Onofré
You can also create a "fake" commit containing "This closes #...". No need to request infra imho. Regards JB ⁣​ On Oct 23, 2016, 20:01, at 20:01, Clebert Suconic wrote: >There are ways to close a PR on Apache mirrors: > >- by merging the PR >- by adding a commit saying. > "This closes #NR" >

Re: Many old open PRs

2016-10-23 Thread Clebert Suconic
There are ways to close a PR on Apache mirrors: - by merging the PR - by adding a commit saying. "This closes #NR" - by asking infra If the PR is stale you will need to ask infra. As no one outside the Apache infra have auth to close the PR. On Sunday, October 23, 2016, Jean-Baptiste Onofré