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"
>
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é