chiark / gitweb /
dgit-repos-server: Further fixes to locking; rename acquiretree to acquirermtree