Skip to content

Conversation

@gkodinov
Copy link
Member

@gkodinov gkodinov commented Jan 15, 2026

Fixed a typo in the pr list filter.

 with foundation/corporation/external contribution

Fixed a typo in the pr list filter.
@gkodinov gkodinov self-assigned this Jan 15, 2026
@gkodinov gkodinov changed the title MDEV-38546: Automatically label new unlabeled pull requests MDEV-38546: Automatically label new unlabeled pull requests with foundation/corporation/external contribution (typo fix) Jan 15, 2026
@gkodinov gkodinov enabled auto-merge (rebase) January 15, 2026 14:54
@gkodinov gkodinov disabled auto-merge January 15, 2026 14:54
@gkodinov gkodinov enabled auto-merge (rebase) January 15, 2026 15:04
@gkodinov gkodinov merged commit 6641ba6 into main Jan 15, 2026
17 of 19 checks passed
@gkodinov gkodinov deleted the main-mdev-38546-fix-filter branch January 16, 2026 08:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

3 participants