Here: https://issues.apache.org/jira/browse/INFRA-15271
https://gitbox.apache.org/setup/ Gj On Mon, Nov 6, 2017 at 5:35 PM, Geertjan Wielenga < [email protected]> wrote: > 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 >> > >> > >
