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 >>
