I agree we need more diverse options to host source code projects with. I remember when people moved their source code to other places like gitlab when github was bought by microsoft.