diff --git a/tools/actions/commit-queue.sh b/tools/actions/commit-queue.sh index 0df819e47ee8251b9504a0b5439421a1590f1791..1cdc48762869ce2995dbbb5f1a553d01cba2ad60 100755 --- a/tools/actions/commit-queue.sh +++ b/tools/actions/commit-queue.sh @@ -82,7 +82,7 @@ for pr in "$@"; do fi else # If there's only one commit, we can use the Squash and Merge feature from GitHub. - # TODO: use `gh pr merge` when the GitHub CLI allows to customize the commit title (https://github.com/cli/cli/issues/1023). + # TODO: use `gh pr merge` when the GitHub CLI allows to customize the commit title (https://github.com/cli/cli/issues/1024). commit_title=$(git log -1 --pretty='format:%s') commit_body=$(git log -1 --pretty='format:%b') commit_head=$(grep 'Fetched commits as' output | cut -d. -f3 | xargs git rev-parse)