Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

pr_monitor: post empty string as commit message if PR body is empty #5458

Merged
merged 2 commits into from
Jun 6, 2022

Conversation

verult
Copy link
Collaborator

@verult verult commented Jun 6, 2022

Fixes #4412

Verified in my personal fork via curling the API directly.

@MichaelBroughton
cc @dabacon

@verult verult requested review from a team, vtomole and cduck as code owners June 6, 2022 21:37
@CirqBot CirqBot added the Size: XS <10 lines changed label Jun 6, 2022
@@ -772,7 +772,7 @@ def attempt_squash_merge(pr: PullRequestDetails) -> Union[bool, CannotAutomergeE
)
data = {
'commit_title': f'{pr.title} (#{pr.pull_id})',
'commit_message': pr.body,
'commit_message': pr.body if pr.body is not None else '',
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

think this can be pr.body or ''

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ah nice! updated

@verult verult added the automerge Tells CirqBot to sync and merge this PR. (If it's running.) label Jun 6, 2022
@CirqBot CirqBot added the front_of_queue_automerge CirqBot uses this label to indicate (and remember) what's being merged next. label Jun 6, 2022
@CirqBot CirqBot merged commit 8aecaae into quantumlib:master Jun 6, 2022
@CirqBot CirqBot removed automerge Tells CirqBot to sync and merge this PR. (If it's running.) front_of_queue_automerge CirqBot uses this label to indicate (and remember) what's being merged next. labels Jun 6, 2022
rht pushed a commit to rht/Cirq that referenced this pull request May 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Size: XS <10 lines changed
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Automerge bot can't handle empty PR description
3 participants