How does an individual access the Bitcoin Core repo and contribute to it in the case that GitHub boots Bitcoin Core or the individual off GitHub? It is not looking like Bitcoin Core will be moving from GitHub anytime soon (unless forced to).
How does an individual access the Bitcoin Core repo and contribute to it in the case that GitHub boots Bitcoin Core or the individual off GitHub?
What should an individual do in advance to prepare for this scenario?
Nothing interesting happens if github bans bitcoin, the repository will be uploaded on a different host. Git is a decentralized application and several mirrors exist already. The contributors also have local copies of the repository so no code will be lost.
The biggest problem would be that the github issues and comments will be lost since they are a github feature (not part of the git repository).