+1 2017-10-02 10:02 GMT+02:00 Guillaume Nodet <[email protected]>:
> 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 > > -- ------------------------ Guillaume Nodet
