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
