Skip to content

Conversation

IEvangelist
Copy link
Member

@IEvangelist IEvangelist commented Jan 10, 2024

Summary

Add a GitHub Action workflow that fails when PRs are labeled with DO NOT MERGE, as a safety net for when non-draft PRs are approved but labeled as do not merge.

Related to:

This workflow should help to prevent these sorts of things.

@IEvangelist IEvangelist requested a review from a team as a code owner January 10, 2024 17:27
@dotnet-bot dotnet-bot added this to the January 2024 milestone Jan 10, 2024
@IEvangelist IEvangelist marked this pull request as draft January 10, 2024 17:45
@IEvangelist IEvangelist marked this pull request as ready for review January 10, 2024 19:26
@IEvangelist IEvangelist enabled auto-merge (squash) January 10, 2024 19:27
@IEvangelist IEvangelist merged commit 2daa4f1 into dotnet:main Jan 11, 2024
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.

5 participants