Testing git push to svn github (0: add remote "github" on worteltje.office, push to remote "github" https://github.com/gerjantd/wgstatb.git)