Re: [VOTE] Move the Edgent repos to gitbox

[Christofer Dutz]

+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