I agree with some of the comments I read on Mastodon today. All along, the danger with GitHub has been its status as de facto standard for hosting code. Diversity is key. When a giant corporation swallows another one, we all lose. I prefer to live in a world where there are many equally valid options.