From 1025eae4051b51bdb494ecb51e8a12ccd0c25e27 Mon Sep 17 00:00:00 2001 From: Jean-Christophe Amiel Date: Tue, 3 Dec 2024 14:31:10 +0100 Subject: [PATCH] Use release note script with GitHub token. --- bin/check/changelog.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/check/changelog.sh b/bin/check/changelog.sh index 9a0fc0b480..8129c5ff1c 100755 --- a/bin/check/changelog.sh +++ b/bin/check/changelog.sh @@ -18,7 +18,7 @@ fi echo "version=$version" echo "date=$date" changelog=$(bin/release/changelog_extract.py "$version" | grep '^\* ') -issues=$(bin/release/get_release_note.py "$version" | grep '^\* ') +issues=$(bin/release/get_release_note.py --token "$GITHUB_TOKEN" "$version" | grep '^\* ') if [ "$changelog" != "$issues" ]; then echo "Diff in issues in CHANGELOG"