Skip to content

Conversation

treezio
Copy link
Owner

@treezio treezio commented Feb 6, 2025

Create a basic workflow that checks if pull request is labeled as do-not-merge.

@treezio treezio merged commit 50c644a into main Feb 6, 2025
1 check passed
@treezio treezio deleted the create-workflow branch February 6, 2025 20:51
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.

1 participant