+1 One remote less :-)
> On 02 Oct 2017, at 10:02, Guillaume Nodet <[email protected]> wrote: > > Following a few discussions we had, I'm starting a vote. > The overall idea is to migrate our git repositories to gitbox, which allows > a deeper integration with github features. The first one we should > leverage is the ability to close, merge PRs directly from github. > > [ ] +1, migrate Karaf repositories to gitbox > [ ] -1, keep git-wip + github mirror > > > -- > ------------------------ > Guillaume Nodet
