Search through this mailing list for 'GitBox', you'll find a link for setting things up, which means you'll be able to merge.
Gj On Mon, Nov 6, 2017 at 5:34 PM, Jaroslav Tulach <[email protected]> wrote: > Hurá, > there is a first PR for HTML/Java API, thanks Toni! > > Everyone, > how do I merge it? I can do it manually, but I was hoping to get the > "Merge" button on GitHub. I see just "Comment"... > > Thanks in advance for any advice. > -jt > > > 2017-11-06 17:18 GMT+01:00 GitBox <[email protected]>: > > > eppleton opened a new pull request #1: Updated Java Doc with better > > description and examples of presenters, ? > > URL: https://github.com/apache/incubator-netbeans-html4j/pull/1 > > > > > > ?Libraries and related projects. > > > > ---------------------------------------------------------------- > > This is an automated message from the Apache Git Service. > > To respond to the message, please log on GitHub and use the > > URL above to go to the specific comment. > > > > For queries about this service, please contact Infrastructure at: > > [email protected] > > > > > > With regards, > > Apache Git Services > > >
