What's the point of using Github then? Gitea offers basically the same functionality.