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
