Skip to content

internal: Fix PR auto-labler so as not to mark to 'add' keyword#2932

Merged
xerial merged 1 commit intomasterfrom
fix-labeler
May 4, 2023
Merged

internal: Fix PR auto-labler so as not to mark to 'add' keyword#2932
xerial merged 1 commit intomasterfrom
fix-labeler

Conversation

@xerial
Copy link
Copy Markdown
Member

@xerial xerial commented May 4, 2023

No description provided.

@github-actions github-actions Bot added bug feature internal Internal changes (usually non-user facing) labels May 4, 2023
@xerial xerial merged commit 41b5758 into master May 4, 2023
@xerial xerial deleted the fix-labeler branch May 4, 2023 17:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal Internal changes (usually non-user facing)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant