K 10
svn:author
V 3
uqs
K 8
svn:date
V 27
2016-12-02T16:43:16.385601Z
K 7
svn:log
V 193
Add svn sync script copied from the cluster machines.

Turns out svnsync is non-atomic and we now have bad metadata in the git
conversion as export on Github.

Ceterum censeo SVN esse delendam

END