there's a gitea instance up on the tilde.team server. i migrated most repos from our github org to the team org on gitea. hit me up on irc or email if you have any questions!