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.

Sign up for GitHub

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

Jump to bottom

fix and test recent pr-label-checker changes #182

Merged
merged 32 commits into from
Jul 5, 2023
Merged

fix and test recent pr-label-checker changes #182

merged 32 commits into from
Jul 5, 2023

Conversation

wesleyboar
Copy link
Member

@wesleyboar wesleyboar commented Jul 4, 2023 •
edited
Loading

Overview

Refactor PR label assignment and checking.

Related

Builds upon:

Changes

  • Rename pr labeler to pr label assigner.
  • Changed pr label checker to be able to be run by another workflow
  • Changed pr label assigner to run pr label checker after labels are assigned

Testing

We'll see in next PR. I need the rename to get into main branch.

@wesleyboar wesleyboar closed this Jul 4, 2023
@wesleyboar wesleyboar reopened this Jul 4, 2023
@wesleyboar wesleyboar closed this Jul 4, 2023
@wesleyboar wesleyboar reopened this 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 the patch A backward-compatible fix label Jul 4, 2023
@wesleyboar wesleyboar closed this Jul 4, 2023
@wesleyboar wesleyboar reopened this Jul 4, 2023
@wesleyboar wesleyboar closed this Jul 4, 2023
@wesleyboar wesleyboar removed patch A backward-compatible fix chore Changes with no (or minimal) user-facing effect labels Jul 4, 2023
@wesleyboar wesleyboar reopened this 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 closed this Jul 4, 2023
@wesleyboar wesleyboar removed the chore Changes with no (or minimal) user-facing effect label Jul 5, 2023
@wesleyboar wesleyboar closed this Jul 5, 2023
@wesleyboar wesleyboar reopened this Jul 5, 2023
@github-actions github-actions bot added the chore Changes with no (or minimal) user-facing effect label Jul 5, 2023
@wesleyboar wesleyboar removed the chore Changes with no (or minimal) user-facing effect label Jul 5, 2023
@wesleyboar wesleyboar closed this Jul 5, 2023
@wesleyboar wesleyboar reopened this Jul 5, 2023
@github-actions github-actions bot added the chore Changes with no (or minimal) user-facing effect label Jul 5, 2023
@wesleyboar wesleyboar removed the chore Changes with no (or minimal) user-facing effect label Jul 5, 2023
@wesleyboar wesleyboar closed this Jul 5, 2023
@wesleyboar wesleyboar reopened this Jul 5, 2023
@github-actions github-actions bot added the chore Changes with no (or minimal) user-facing effect label Jul 5, 2023
@wesleyboar wesleyboar removed the chore Changes with no (or minimal) user-facing effect label Jul 5, 2023
@wesleyboar wesleyboar closed this Jul 5, 2023
@wesleyboar wesleyboar reopened this Jul 5, 2023
@github-actions github-actions bot added the chore Changes with no (or minimal) user-facing effect label Jul 5, 2023
@wesleyboar
simplify solution to pr-label-checker and pr-label-assigner
6ddb23f 
NOTE: label not triggered on pr label and unlabel yet
@wesleyboar wesleyboar removed the chore Changes with no (or minimal) user-facing effect label Jul 5, 2023
@wesleyboar wesleyboar closed this Jul 5, 2023
@wesleyboar wesleyboar reopened this Jul 5, 2023
@github-actions github-actions bot added the chore Changes with no (or minimal) user-facing effect label Jul 5, 2023
@wesleyboar wesleyboar merged commit 93b2247 into main Jul 5, 2023
@wesleyboar wesleyboar deleted the chore/test-github-workflows branch July 5, 2023 00:57
@wesleyboar wesleyboar mentioned this pull request Jul 5, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
chore Changes with no (or minimal) user-facing effect patch A backward-compatible fix
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@wesleyboar