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