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

ci: bot for closing stale issues and PR #778

Merged

PaulRBerg merged 1 commit into main from ci/close-stale-issues

Jan 3, 2024

Member

PaulRBerg commented Jan 3, 2024

Experimenting with https://github.com/marketplace/actions/close-stale-issues


          ci: bot for closing stale issues and PR

86a92f1

PaulRBerg added the type: ci label

Member Author

PaulRBerg commented Jan 3, 2024

Not gonna wait for review because this is an experiment, and nothing can be decided based on a PR review.

Just tagging you @smol-ninja @smol-ninja so that you know we will be using this bot from now on.

PaulRBerg merged commit 17b284e into main

9 checks passed

PaulRBerg deleted the ci/close-stale-issues branch

January 3, 2024 13:28

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels