Skip to content

Commit

Permalink
fix(common): specify title explicitly when opening PR with hub
Browse files Browse the repository at this point in the history
Fixes #11125.

Discussion in #11125; looks like it may be due to a race in hub?
  • Loading branch information
mcdurdin committed Apr 5, 2024
1 parent 4dd3672 commit 02812af
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion resources/build/ci/pull-requests.inc.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down

0 comments on commit 02812af

Please sign in to comment.