News for hackers. Stuff that matters.

A comment on GitHub is down. Parent comment

Re:GitHub is down by pbhjpbhj on Monday July 22, 2019 @04:32PM (#20502057)
Wasn'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.
[ Parent | on HN ]
Re:GitHub is down by swinglock on Monday July 22, 2019 @06:25PM (#20502874)
A 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.
[ Parent | on HN ]