+1

NB: we have to update the dev guide on  the website after the move.

Regards
JB

On 10/02/2017 10:02 AM, Guillaume Nodet 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



--
Jean-Baptiste Onofré
[email protected]
http://blog.nanthrax.net
Talend - http://www.talend.com

Reply via email to