github_gpg_get_user_keys.sh