From 02812af97f6fdc312dd83bf0c8b529ed15f28229 Mon Sep 17 00:00:00 2001 From: Marc Durdin Date: Fri, 5 Apr 2024 09:20:23 +0700 Subject: [PATCH] fix(common): specify title explicitly when opening PR with hub Fixes #11125. Discussion in #11125; looks like it may be due to a race in hub? --- resources/build/ci/pull-requests.inc.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/build/ci/pull-requests.inc.sh b/resources/build/ci/pull-requests.inc.sh index 65fe0efee66..09c0903fe5f 100644 --- a/resources/build/ci/pull-requests.inc.sh +++ b/resources/build/ci/pull-requests.inc.sh @@ -107,7 +107,7 @@ function ci_open_pull_request { git push origin "$branch" builder_echo "Push complete" - hub pull-request -f --no-edit -l auto + hub pull-request --force --message "$commit_message" --labels auto builder_echo "Pull request created" git switch "$current_branch"