Skip to content
This repository was archived by the owner on Nov 20, 2024. It is now read-only.

Fix PR labeler #4838

Closed
wants to merge 1 commit into from
Closed

Fix PR labeler #4838

wants to merge 1 commit into from

Conversation

@mosuem
Copy link

@mosuem mosuem commented Jan 2, 2024

@mosuem mosuem requested a review from pq January 2, 2024 17:48
@parlough
Copy link
Collaborator

parlough commented Jan 3, 2024

Since this repo is mostly deprecated, perhaps this config and action can just be removed?

@pq
Copy link
Contributor

pq commented Jan 3, 2024 •
edited
Loading

Yeah. I think @parlough is right. There really shouldn't be many PRs against this repo moving forward.

See: #4839.

@pq pq mentioned this pull request Jan 3, 2024
Merged
@pq
Copy link
Contributor

pq commented Jan 3, 2024

(PS: thanks for the fix @mosuem!)

@mosuem mosuem closed this Jan 4, 2024
@kevmoo kevmoo deleted the fixLabeler branch June 25, 2024 18:50
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

@pq pq Awaiting requested review from pq

Assignees

No one assigned

Labels

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@mosuem @parlough @pq