Skip to content

Conversation

gewarren
Copy link
Contributor

@gewarren gewarren commented Oct 10, 2024

  • Prevent non-admin changes to .github folder
  • Only enable auto-merge for bot PRs

@gewarren gewarren requested a review from a team as a code owner October 10, 2024 16:25
@gewarren gewarren enabled auto-merge (squash) October 10, 2024 19:23
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

Let's :shipit:

@gewarren gewarren merged commit 91f9968 into dotnet:main Oct 15, 2024
9 checks passed
@gewarren gewarren deleted the policies1010 branch October 15, 2024 13:47
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