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

Clean up old PRs #4155

Open
dorner opened this issue Mar 3, 2024 · 4 comments
Open

Clean up old PRs #4155

dorner opened this issue Mar 3, 2024 · 4 comments
Labels
core team Groomed but likely needs expert knowledge stale

Comments

@dorner
Copy link
Collaborator

dorner commented Mar 3, 2024

Summary

We have a bunch of PRs that are many months old that haven't been touched. Look at each of them and decide to:

  • Close them as stale or no longer needed.
  • Finish them off and get @awwaiid to review.

Things to consider

No response

Criteria for Completion

No response

@dorner dorner self-assigned this Mar 3, 2024
@dorner dorner added the core team Groomed but likely needs expert knowledge label Mar 3, 2024
Copy link
Contributor

github-actions bot commented Apr 3, 2024

This issue is marked as stale due to no activity within 30 days. If no further activity is detected within 7 days, it will be unassigned.

@github-actions github-actions bot added the stale label Apr 3, 2024
@dorner dorner removed the stale label Apr 3, 2024
Copy link
Contributor

github-actions bot commented May 4, 2024

This issue is marked as stale due to no activity within 30 days. If no further activity is detected within 7 days, it will be unassigned.

Copy link
Contributor

Automatically unassigned after 7 days of inactivity.

Copy link
Contributor

Automatically unassigned after 7 days of inactivity.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
core team Groomed but likely needs expert knowledge stale
Projects
None yet
Development

No branches or pull requests

1 participant