Hacker News Reader

Additionally, I have a machine on my local network that I push to (and that is backed up separately).

Really quick pushes, too :-)

Nice, good tip, I will set that up for my local projects. Not using Github for those, but it nevers hurts to have redundant Git servers.

Are you thinking like this?:

https://jigarius.com/blog/multiple-git-remote-repositories

Yes, push/pull all.

Do you have something set up for the remotes to sync with each other?

No, I do not. Usually though it is easy since whatever reconciliation you did in one repo you can do in another. The only difficulty is if you rewrite remote history, so don’t do it!