Adrian, did you link your account? You should be able to close or merge PR once you have setup.
https://gitbox.apache.org/setup/ ________________________________ From: Adrian Schüpbach <adrian.schuepb...@gribex.net> Sent: Tuesday, June 11, 2019 2:41:54 PM To: dev@crail.apache.org Subject: Re: Close PR right on Github page Hi Julian Thanks for your answer. Right, "Close #nnn" has worked for me, in some cases I'd prefer that a PR, which we really can not accept, does not even create a history, so a commit with "Close #nnn" would not be the right approach in those cases. I will ask INFRA how to set permissions. Since some of us have the "Close" button on the GitHUB UI, it must be possible somehow to configure this. Thanks Adrian On 11.06.2019 19:48, Julian Hyde wrote: > I suspect that closing a PR from the Github UI may be possible now we have > gitbox, if permissions are set correctly. But I don’t know how to set > permissions. You could try asking INFRA in hipchat. > > The method I use isn’t pretty but it has worked for a long time. Add a > comment ‘Close #nnn’ or ‘Closes #nnn’ or ‘Close apache/incubator-crail#nnn’ > on its own line in a commit message. When the commit is merged into master > the bot will close the PR. > > Julian > > >> On Jun 11, 2019, at 1:05 AM, Adrian Schuepbach <d...@zurich.ibm.com> wrote: >> >> Hi Julian >> >> It seems that I do not have the right to close (or merge) a PR. The >> button just does not appear for me. I thought that when I linked my GitHub >> account with my Apache ID I got the rights, but now I don't have them. >> >> Might those rights have been lost after migrating to gitbox? >> >> I am still able to merge changes via the command line. But it would >> be great, if I could also close (or merge) PRs on the website. >> >> What should I do to get these rights again? >> >> Thanks >> Adrian >> >> >
