You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Use `gh` CLI for CI and commit queue jobs, and use the correct token
to merge PRs.
PR-URL: #40742
Reviewed-By: Antoine du Hamel <[email protected]>
Reviewed-By: Voltrex <[email protected]>
if jq -e 'map(.name) | index("commit-queue-squash")'< labels.json;then
79
56
MULTIPLE_COMMIT_POLICY="--fixupAll"
@@ -106,14 +83,18 @@ for pr in "$@"; do
106
83
continue
107
84
fi
108
85
else
109
-
# If there's only one commit, we can use the Squash and Merge feature from GitHub
86
+
# If there's only one commit, we can use the Squash and Merge feature from GitHub.
87
+
# TODO: use `gh pr merge` when the GitHub CLI allows to customize the commit title (https://github.com/cli/cli/issues/1023).
110
88
jq -n \
111
89
--arg title "$(git log -1 --pretty='format:%s')" \
0 commit comments