> Pushing/pulling directly to someone else's local repository (ie, if a remote goes down). This is always harder to do than I expect. This can be done by speci

> Pushing/pulling directly to someone else's local repository (ie, if a remote goes down). This is always harder to do than I expect. This can be done by specifying the URL that points to their repository's .git directory in the git push or fetch command (instead of origin). IIRC, the only complication is if you try to push a branch that's currently checked out on the remote.