Yes, for sure. What do we have to do? Regards
Martin Am Sonntag, 1. April 2018, 02:00:17 CEST schrieb Olivier Lamy: > Hi > There is a new service called Apache gitbox which has a better support of > github integration (pull request etc..) > Maybe we could move our sources to it? > Let me know > > Cheers >
