Today was all about writing making a remote repo update when changes are pushed to it.
That's a fairly simple page, because I added workarounds for all the
complexity of making it work in direct mode repos, adjusted branches, and
repos on filesystems not supporting executable git hooks. Basically,
the user should be able to set the standard
receive.denyCurrentBranch=updateInstead configuration on a remote, and
git push or
git annex sync should update that remote's working tree.
There are a couple of unhandled cases;
git push to a remote on a
filesystem like FAT won't update it, and
git annex sync will only update
it if it's local, not accessed over ssh. Also, the emulation of git's
updateInstead behavior is not perfect for direct mode repos and adjusted
Still, it's good enough that most users should find it meets their needs, I hope. How to set this kind of thing up is a fairly common FAQ, and this makes it much simpler.
(Oh yeah, the first ancient kernel arm build is still running. May finish before tomorrow.)
Today's work was sponsored by Jake Vosloo on Patreon.