Use SSH clones

And a few other minor maintenance tweaks.