chiark / gitweb /
Fix moving of gpg sigs between repo and archive