From 2fbbfa5609b6b5617dfb138c07a71a565535373e Mon Sep 17 00:00:00 2001 From: Pierre Prinetti Date: Thu, 1 Jun 2023 15:02:38 +0200 Subject: [PATCH] team_ssh_keys: Comment keys accounting for multiple entries As Github allows including more than a key, switch to a style of commenting that is clear when there is more than one key per person. --- team_ssh_keys.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/team_ssh_keys.sh b/team_ssh_keys.sh index 7b1b928..557617d 100755 --- a/team_ssh_keys.sh +++ b/team_ssh_keys.sh @@ -26,5 +26,5 @@ MEMBERS=$(yq --arg team_name "$TEAM_NAME" -r '.aliases[$team_name] | join(" ")' for member in $MEMBERS; do key=$(curl -s "https://github.com/$member.keys") - echo "$key $member" + printf '# %s\n%s\n\n' "$member" "$key" done