

You’re all welcome in [email protected] to discuss antying OSM-related.
The namechange of the Gulf has been discussed on our forum; how to deal with this has been decided in consensus.
And, obligated self-promo: if you want to start contributing to OSM, you can try https://mapcomplete.org/ (which is someting else then the StreetComplete app, but that one is nice too!)
Yes, but actually, no. For a ton of projects, Github is an important resource. It is the main collaboration tool through the issue trackers, offers hosting and continuous integration. If it fell of the earth today, a lot of projects would scramble and have a lot of lost (meta)data.
If they were to announce that they would shut down in three months time, those same projects would scramble as well to migrate - which is also a bit chaotic, but less so.
And: many projects are switching away right now. I moved mapcomplete to a selfhosted forgejo instance since a few months ('cause I don’t trust github no more), Organic Maps moved just now cause they got a (temporary) ban. One of their contributors was apperantly from a US-sanctioned country (more info about them here: https://en.osm.town/@[email protected]).