I've migrated to Gitlab. If you want access, go to https://dev.thomasjost.com/ and register for an account.