Skip to content

Don't require PR labels for automerge#479

Merged
twaugh merged 1 commit into
masterfrom
automerge-unlabeled-prs
Jun 17, 2025
Merged

Don't require PR labels for automerge#479
twaugh merged 1 commit into
masterfrom
automerge-unlabeled-prs

Conversation

@twaugh

@twaugh twaugh commented Jun 17, 2025

Copy link
Copy Markdown
Contributor

No description provided.

@twaugh twaugh merged commit ba9e613 into master Jun 17, 2025
3 checks passed
@twaugh twaugh deleted the automerge-unlabeled-prs branch June 17, 2025 13:42
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