chiark / gitweb /
server: --sync-from-local-copy-dir for updating from offline signing repo