Hi Martin Just create a Jira to infra. I can deal with that if you want.
Regards JB Le 2 avr. 2018 à 09:50, à 09:50, Martin <marti...@apache.org> a écrit: >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 >>