[paulddraper]

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.

[1718627440]

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.