Tools to manage gpg-signed git repositories