Skip to content

Commit 92b70d5

Browse files
committed
CI/tags: always use .release-signers from HEAD
1 parent 8408281 commit 92b70d5

File tree

2 files changed

+12
-1
lines changed

2 files changed

+12
-1
lines changed

.github/workflows/tags.yaml

Lines changed: 10 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,16 @@ jobs:
3939
name: Import keys
4040
shell: bash
4141
run: |2
42-
for ghUser in $GitHubSigningUsers; do
42+
allowed_signers_file=.release-signers
43+
declare -a GitHubSigningUsers=()
44+
while read -r line; do
45+
case "${line:-#}" in
46+
\#*) ;;
47+
*) GitHubSigningUsers+=("$line") ;;
48+
esac
49+
done <<< "$(git cat-file -p "origin/HEAD:$allowed_signers_file")"
50+
typeset -p GitHubSigningUsers
51+
for ghUser in "${GitHubSigningUsers[@]}"; do
4352
echo "::debug::importing from GitHub any OpenPGP keys for user ${ghUser@Q}"
4453
curl -fSsL "https://github.com/$ghUser.gpg" | gpg --import || true
4554
done

.release-signers

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
# These are the GitHub users who can sign a release tag
2+
philpennock

0 commit comments

Comments
 (0)