I remembered Gitlab after I posted but before I saw your comment and made an edit. Github has network effects and inertia on its side - switching to any other service has a cost, and Microsoft has to piss off developers enough to justify the switch - moderate annoyances will be tolerated.