To date GitHub has restricted developer accounts from Iran, Crimea, Cuba, North Korea and has taken down certain projects (e.g. an Ethereum open source privacy project Tornado Cash though Tornado Cash is now back up). GitHub is owned by a US corporation (Microsoft) and is clearly at a minimum bound by US law and US sanctions. There seems to be evidence that it is willing to take actions beyond what it is required by US law and US sanctions though as you suggest.
I have not seen any contingencies for planning the social move to those repos and organizing developer efforts for maintaining Core in the face of a GitHub ban.
No such plans have been made public as far as I'm aware. Recall that no maintainer or no contributor can bind the project to a particular future contingency plan even if they drafted such a plan.
It seems inevitable, given the recent experiments with banning individual developers or entire projects.
It is certainly a possibility but I would say "inevitable" is a bit strong. The best case scenario is GitHub realized that taking down Tornado Cash was an error, reversed that decision and won't pursue similar actions in future for other privacy projects, let alone full node implementations. The worst case scenario is GitHub takes down Bitcoin Core, all other Bitcoin open source projects and restricts the accounts of maintainers and contributors to these projects. Clearly if the worst case scenario happens a plan will have to drafted and executed but I suspect most maintainers and contributors have their fingers crossed that it won't get much worse than the best case scenario. I don't know of any long term contributors that have been impacted by the Iran, Crimea, Cuba, North Korea etc restrictions.
So thus far the GitHub actions haven't caused enough pain on the project to motivate a serious effort to plan for a move away from GitHub. I'm not saying that this is right or wrong, merely that that's the reality. It would be a headache to execute (choosing the replacement, updating docs, potentially worsening the new contributor experience) and many contributors like the convenience, user interface and funding initiatives on GitHub. If the pain increases and we start to move closer to the worst case scenario and away from the best case scenario I am sure we will see more activity and interest in this area.
In the event of GitHub banning Core maintainers or Core itself, where do developers gather to communicate and collaborate for reliable development and maintenance of Bitcoin?
It would most likely be discussed on Libera IRC (#bitcoin-core-dev channel), the Bitcoin dev mailing list and Bitcoin Core dev mailing list. Bitcoin Optech and bitcoincore.org would also be possible sources of information.
Disclaimer: This is just my personal view, no one can speak for the Bitcoin Core project (and certainly not me) but I hope this is somewhat helpful.
This topic was also discussed at the recent Core dev meeting (Bryan Bishop transcript).