Skip to content
This repository has been 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
Member

@mosuem mosuem commented Jan 2, 2024

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

parlough commented Jan 3, 2024

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

@pq
Copy link
Member

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
Member

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
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@mosuem @parlough @pq