No you can't do that on Github.
It needs to be done on the Apache GIT repo and then it will be propagated
to Github and the PR closed

Try something like this
git commit --allow-empty -m "TOMEE-XXXX closes apache/tomee#<XXXX> *Won't
fix*"

Won't fix can be any github label you want.
Then push to apache/master and wait few seconds.


--
Jean-Louis Monteiro
http://twitter.com/jlouismonteiro
http://www.tomitribe.com


On Tue, Dec 4, 2018 at 12:47 PM Roberto Cortez <radcor...@yahoo.com.invalid>
wrote:

> Hi,
>
> Does anyone knows if we have Github permissions to close PR’s? We have
> some really old PR’s already merged but still open that I’m unable to close.
>
> Cheers,
> Roberto

Reply via email to