[vivan]

I guess it's a bad time to make a presentation to let us move from an on-prem SVN repo to GitHub...

[tmikaeld]

That depends, do the on-prem SVN have better uptime than Github?

[gaius_baltar]

> I guess it's a bad time to make a presentation to let us move from an on-prem SVN repo to GitHub...

On-prem Git with mirrors. (with Googs, Gitea, GitLab as a GUI...)

Developers should also keep local clones and so the CI, etc.