hermsen - 2021-09-25

we started converting piecemeal wise conversion of svn repo to git.
we will keep the svn for historical purpose after conversion, but it will be deprecated.