Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

improve/test github pr label management #181

Merged
merged 7 commits into from
Jul 4, 2023

Conversation

wesleyboar
Copy link
Member

@wesleyboar wesleyboar commented Jul 4, 2023

@github-actions github-actions bot added the chore Changes with no (or minimal) user-facing effect label Jul 4, 2023
@wesleyboar wesleyboar added chore Changes with no (or minimal) user-facing effect and removed chore Changes with no (or minimal) user-facing effect labels Jul 4, 2023
@wesleyboar wesleyboar changed the title add comments to pr-label-checker about complex ifs improve/test github pr label management Jul 4, 2023
@wesleyboar wesleyboar added the patch A backward-compatible fix label Jul 4, 2023
@wesleyboar wesleyboar merged commit 7dc034c into main Jul 4, 2023
@wesleyboar wesleyboar deleted the chore/test-github-workflows branch July 4, 2023 07:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Changes with no (or minimal) user-facing effect patch A backward-compatible fix
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant