Yes -- instructions and tracking the issue can be done here: https://issues.apache.org/jira/browse/INFRA-15271
See this in particular: http://gitbox.apache.org/setup Gj On Mon, Oct 16, 2017 at 9:32 PM, Antonio Vieiro <anto...@vieiro.net> wrote: > Hi all, > > I won’t be able to submit many PRs this week, I’m afraid. > > Anyway I’d appreciate you telling us when this GitBox thingy is ready for > use. Instructions would be also appreciated. > > Thanks, > Antonio > > > El 16 oct 2017, a las 9:56, Geertjan Wielenga < > geertjan.wiele...@googlemail.com> escribió: > > > > Hi all, > > > > As we switch to GitBox, during today, i.e., this will keep all the > > functionality we currently have, plus add the ability to commit from > > GitHub, the Apache NetBeans Git repo will be read-only for a few hours. > > > > Please don't do pushes/merges to the repo until further notice. > > > > Many thanks, > > > > Geertjan > > > > On Sun, Oct 15, 2017 at 7:16 PM, Matthias Bläsing < > mblaes...@doppel-helix.eu > >> wrote: > > > >> Hey, > >> > >> one think I'd really like to see is the ability to close PRs on github > >> and/or add labels to PRs. I just noticed, that I revisited the same PR > >> for the third time, because I could not close it. > >> > >> Maybe gitbox could help there? > >> > >> Greetings > >> > >> Matthias > >> > >> > >> Am Samstag, den 14.10.2017, 14:46 +0200 schrieb Matthias Bläsing: > >>> Hey, > >>> > >>> Am Freitag, den 13.10.2017, 13:25 +0200 schrieb Geertjan Wielenga: > >>>> Or maybe we should vote on this as a community before going ahead > >>>> with it? > >>>> > >>>> Gj > >>>> > >>>> On Fri, Oct 13, 2017 at 1:23 PM, Geertjan Wielenga <geertjan.wielen > >>>> g...@googlemail.com> wrote: > >>>> > >>>>> https://issues.apache.org/jira/browse/INFRA-15271 > >>>>> > >>>>> On Fri, Oct 13, 2017 at 1:11 PM, Geertjan Wielenga <geertjan.wiel > >>>>> e...@googlemail.com> wrote: > >>>>> > >>>>> [Better github integration via gitbox] > >>> > >>> I can live with the current situation. I have github as a separate > >>> remote and can thus do direct merges from github PRs (they are > >>> exposed > >>> as branches). > >>> > >>> On the other hand - especially small changes can be easier integrated > >>> with github integration (just one click...). > >>> > >>> I have no strong opinion either way. > >>> > >>> Greetings > >>> > >>> Matthias > >> > >