2015/09/20: Mirroring svn repositories

Mirroring an svn repository is quite simple.

Of course, the best way to get an overview over the whole process is to write a small shell script which I did as well.