Script to manage SSH public keys in a git repository