With the shit show going on right now, if I were a dev working on Bitcoin core, I'd also look into moving the repo to a safer place than GitHub.
Discussion
That's an ongoing research topic, with some work in progress stuff. Google "delving bitcoin github" (I think the forum is down though...)
Pfew that had me worried for a second: https://delvingbitcoin.org/t/gitlab-backups-for-bitcoin-core-repository/624
Note that the FBI took down the hosted Gitlab of Samurai.
Anyone bitcoin developer working on GitHub has the source locally so getting that to any other host is trivial