3 ms·
Tags are going to be ugly, but branches can simply be merged like any other. Alternatively you decide the one of the repositories is the primary one, set up a
by TimWolla 7y ago
Tags are going to be ugly, but branches can simply be merged like any other.
Alternatively you decide the one of the repositories is the primary one, set up a remote called `mirror` and set-up a `post-receive` hook to:
git push --mirror mirror
Now just ensure no one pushes into the mirror directly. Of course this only works if you control the primary repository.
- pbhjpbhj 7y agoWasn't the original point to be able to push to the second copy when the first is down .. what's the point (other than backup) of a second "working" copy that you can't use.
- swinglock 7y agoA repo admin or script could enable pushing permissions to the mirror while the primary is down. The when the primary is back up, fast-forward it and change back. Or, just allowing pulling from it and wait to merge until the primary is fixed.