Skip to content

Conversation

@gewarren
Copy link
Contributor

@gewarren gewarren commented Oct 16, 2024

Activity sender appears to be the user that triggered the event, not the user that created the PR. PRs such as this weren't getting enabled for auto-merge by the bot.

@gewarren gewarren requested a review from a team as a code owner October 16, 2024 16:26
@dotnetrepoman dotnetrepoman bot added this to the October 2024 milestone Oct 16, 2024
@gewarren gewarren enabled auto-merge (squash) October 16, 2024 16:26
@gewarren gewarren requested a review from BillWagner October 16, 2024 16:27
Copy link
Member

@BillWagner BillWagner left a comment

Choose a reason for hiding this comment

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

This LGTM.

@gewarren gewarren merged commit 5809992 into dotnet:main Oct 16, 2024
10 checks passed
@gewarren gewarren deleted the policy1016 branch October 16, 2024 16:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants