Skip to content

Use the most recent user object for the bot generation label.#30978

Merged
mdwn merged 3 commits intomasterfrom
mike.wilson/use-up-to-date-generation-label
Aug 24, 2023
Merged

Use the most recent user object for the bot generation label.#30978
mdwn merged 3 commits intomasterfrom
mike.wilson/use-up-to-date-generation-label

Conversation

@mdwn
Copy link
Copy Markdown
Contributor

@mdwn mdwn commented Aug 24, 2023

The bot generation label now uses the current user object instead of the existing user state label.

Note: Seems to be verified by @hugoShaka's in-flight integration test.

The bot generation label now uses the current user object instead of the
existing user state label.
@mdwn mdwn marked this pull request as ready for review August 24, 2023 20:12
@github-actions github-actions Bot requested review from atburke and hugoShaka August 24, 2023 20:13
Copy link
Copy Markdown
Contributor

@hugoShaka hugoShaka left a comment

Choose a reason for hiding this comment

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

Fixes #30898

@mdwn mdwn enabled auto-merge August 24, 2023 20:37
@mdwn mdwn added this pull request to the merge queue Aug 24, 2023
Merged via the queue into master with commit 93d5067 Aug 24, 2023
@mdwn mdwn deleted the mike.wilson/use-up-to-date-generation-label branch August 24, 2023 21:18
@public-teleport-github-review-bot
Copy link
Copy Markdown

@mdwn See the table below for backport results.

Branch Result
branch/v13 Create PR

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants