[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [RESULT] move over to

On 2018-12-16, Stefan Bodewig wrote:

> the vote has passed and I've opened

We now should be at gitbox, will check later today.

This means you need to change or add remotes and can decide whether to
use or github when pushing changes.


To unsubscribe, e-mail: dev-unsubscribe@xxxxxxxxxxxxxx
For additional commands, e-mail: dev-help@xxxxxxxxxxxxxx