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

Update stale to process any matching PR labels #5019

Merged
merged 1 commit into from
Jan 2, 2025
Merged

Conversation

shiftkey
Copy link
Member

@shiftkey shiftkey commented Jan 2, 2025

No description provided.

@shiftbot
Copy link
Contributor

shiftbot commented Jan 2, 2025

👋 I'm a robot checking the state of this pull request to save the human reviewers time. I don't see any changes under _data/projects/ so I don't have any feedback here.

As you make changes to this pull request, I'll re-run these checks.

@shiftkey shiftkey enabled auto-merge (squash) January 2, 2025 15:31
@shiftkey shiftkey merged commit c8abcd4 into gh-pages Jan 2, 2025
6 checks passed
@shiftkey shiftkey deleted the shiftkey-patch-1 branch January 2, 2025 15:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants