This is normal because GitHub is a mirror of the Apache repository. If you check the email archive for the original notification of the pull request it includes instructions on the necessary steps to merge
Rob On 07/02/2018, 07:39, "Claude Warren" <[email protected]> wrote: Greetings, I was looking at the git hub repository online and did not see a way to merge the pull request from the web. Is this normal (i.e. we always merge on local machine and push) or do I just not have permissions, or am I looking at the wrong place? thx, Claude -- I like: Like Like - The likeliest place on the web <http://like-like.xenei.com> LinkedIn: http://www.linkedin.com/in/claudewarren
