On 2018-12-16, Stefan Bodewig wrote: > the vote has passed and I've opened > https://issues.apache.org/jira/browse/INFRA-17455
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 gitbox.apache.org or github when pushing changes. Stefan --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail: dev-h...@ant.apache.org