+1 (binding) Chris I'll also handle the execution of the move (Jenkins, Code adjustments etc.)
Am 03.01.19, 16:05 schrieb "Christofer Dutz" <christofer.d...@c-ware.de>: Hi all, we were informed that the old git-wip-us.apache.org service will be discontinued and all projects will be migrated to gitbox.apache.org on 7th February 2019 I would like to do this prior to that date to help infra spread out the work and to make it easier for them. So I would propose to move the repos as soon as possible. Chris