+1 Christian
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 > -- -- Christian Schneider http://www.liquid-reality.de <https://owa.talend.com/owa/redir.aspx?C=3aa4083e0c744ae1ba52bd062c5a7e46&URL=http%3a%2f%2fwww.liquid-reality.de> Computer Scientist http://www.adobe.com
