+1
Antoine
> On Dec 10, 2018, at 7:23 AM, Jan Matèrne (jhm) wrote:
>
> +1 We are neither the first nor the only project which should migrate, so it
> should work smoothly. ;-) TODOs: change local remote urls, update Jenkins
> jobs, update homepage
>
> Jan
>
>
>> -Ursprüngliche Nachricht-
>> Von: Jaikiran Pai [mailto:jaiki...@apache.org]
>> Gesendet: Samstag, 8. Dezember 2018 02:13
>> An: dev@ant.apache.org
>> Betreff: Re: [VOTE] move over to gitbox.apache.org
>>
>> +1 for the move.
>>
>> -Jaikiran
>>
>>
>> On 07/12/18 10:29 PM, Stefan Bodewig wrote:
>>> Hi all
>>>
>>> as indicated by Daniel we'll have to mover over sooner rather than
>>> later anyway. So we may better do so now with no release in sight.
>>>
>>> Any objections or do we want to go ahead?
>>>
>>> Stefan
>>>
>>> -
>>> To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional
>>> commands, e-mail: dev-h...@ant.apache.org
>>>
>>
>>
>> -
>> To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional
>> commands, e-mail: dev-h...@ant.apache.org
>
>
>
> -
> To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org
> For additional commands, e-mail: dev-h...@ant.apache.org
>
-
To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org
For additional commands, e-mail: dev-h...@ant.apache.org
