WIP: clean up gitea stuff in preparation for migrating #16

Manually merged
graffen merged 1 commits from gitea into master 2019-03-02 20:33:09 +00:00
No description provided.