I really need an automatic Git mirroring setup. I’ve been burned too many times. At least this one is (allegedly) temporary.

@mckinley@twtxt.net If you have any sort of CI, it is relatively trivial in theory to have it git push to another repo. It’s how I backup all my GitHub repos.

@mckinley@twtxt.net I’ve just done a manual git pull and push for those, they’re rarely things I’m too worried about keeping “up to date”.