News for hackers. Stuff that matters.

A comment on GitHub Down. Parent comment

Re:GitHub Down by PhilippGille on Wednesday November 19, 2025 @02:27AM (#45976776)
You can push to any other Git server during a GitHub outage to still share work, trigger a CI job, deploy etc, and later when GitHub is reachable again you push there too.

Yes you lose some convenience (like GitHub's pull requests UI can't be used, but you can temporarily use the other Git server's UI for that.

I think their point was that you're not fully locked in to GitHub. You have the repo locally and can mirror it on any Git remote.

[ Parent | on HN ]
Re:GitHub Down by paulddraper on Wednesday November 19, 2025 @08:54AM (#45979528)
For sure, you don’t have to use GitHub to be that shared server.

It is awfully convenient, web interface, per branch permissions and such.

But you can choose a different server.

[ Parent | on HN ]
Re:GitHub Down by 1718627440 on Wednesday November 19, 2025 @09:14AM (#45979740)
If your whole network is down, and you also don't want to connect the hosts with an Ethernet cable, you can even just push to an USB stick.
[ Parent | on HN ]