Are there really people whose ONLY copy of a project is on GitHub? If so, I think they're not doing distributed version control correctly.
Even if they pulled from one or the other, so long as someone merges the changes from the missing repo, everyone will be good to go.
This is a pretty unique approach to multiple git servers.