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 <[email protected]> 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 > >
