git-remote-gcrypt: A git remote helper for GPG-encrypted remotes