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

Remove label enforcer #5

Merged
merged 1 commit into from
Oct 17, 2024
Merged

Conversation

mathomp4
Copy link
Member

Closes #2

As pointed out by @ashiklom in #2, the label enforcer isn't quite as useful in this repo. It came over via the template repo. So we remove it. If you want different labels at some point, we can re-add it.

@mathomp4 mathomp4 added 0 diff The changes in this pull request have verified to be zero-diff with the target branch. Skip Changelog Skips the Changelog Enforcerx labels Oct 17, 2024
@mathomp4 mathomp4 self-assigned this Oct 17, 2024
@mathomp4
Copy link
Member Author

NOTE: At the moment, I'm not sure who is the owner/maintainer of this repo. So I've put @jardizzo as my approver and as the one who can merge into main. If @ashiklom or someone else should have this power, let me know.

@jardizzo jardizzo merged commit 8f5985e into main Oct 17, 2024
6 checks passed
@mathomp4 mathomp4 deleted the feature/mathomp4/2-remove-label-enforcer branch October 17, 2024 22:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
0 diff The changes in this pull request have verified to be zero-diff with the target branch. Skip Changelog Skips the Changelog Enforcerx
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Remove (or relax) PR label requirement
2 participants