Is there a way to replicate a particular repository between GitHub and a local machine on which the team uses?
In case of failure of the GitHub servers the team uses the local server and as soon as the GitHub servers come back on, the latest changes to GitHub will be performed in an automated manner and vice versa.
Another example, when the local server is in maintenance the team would work directly with GitHub and when it comes back the same update the sources that are in GitHub. Is there a way to do this?