Somehow I missed Mavibot. I'll create the Gitbox repo. As there is no mirror yet I'll start a git-svn convert which takes several hours before I can push to Gitbox.
Let me know if there is anything not yet committed. Kind Regards, Stefan
Somehow I missed Mavibot. I'll create the Gitbox repo. As there is no mirror yet I'll start a git-svn convert which takes several hours before I can push to Gitbox.
Let me know if there is anything not yet committed. Kind Regards, Stefan