Hi Around 19:30:00 UTC, 2017-12-29 Guido and I are planning to switch the svn repository to a git repository on the salsa service. Please do not push unneeded changes until the switch has happened to facilitate the switch (but not absolutely needed if you have to). Please expect that some automatic updates will not work immediately, we instantiate those as soon as possible. Regards, Guido and Salvatore