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

Create stale.yml #1025

Merged
merged 2 commits into from
Aug 21, 2023
Merged

Create stale.yml #1025

merged 2 commits into from
Aug 21, 2023

Conversation

nwieters
Copy link
Contributor

This pull request adds a github-actions workflow to set inactive issues (older than 365 days, this is for a first test and can be decreased later) to 'Stale'. The following steps are done:

  • the issue will be labelled with 'Stale'
  • a comment will be added to the issue
  • and if no further changes will be done to the issue, it will be closed after 30 days.

@nwieters nwieters marked this pull request as ready for review August 21, 2023 11:11
@nwieters nwieters requested a review from pgierz August 21, 2023 11:11
Copy link
Member

@pgierz pgierz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks exactly like what we talked about, excellent!! Does it also work on things that are already online retroactively? That would unfortunately still be a step to be done "by hand", but we can live with that.

There is no really nice way to test that particular problem unless we open something ourselves and then just wait, and I think we all have better uses for our time ;-)

@nwieters
Copy link
Contributor Author

nwieters commented Aug 21, 2023

Thanks @pgierz ,
let's see what happens tomorrow at 14:00. I hope that it will do this retroactive. If not I will reduce the time until it is marked as stale to something shorter.

@nwieters
Copy link
Contributor Author

#bump

@nwieters nwieters merged commit a8a0410 into release Aug 21, 2023
@nwieters nwieters deleted the add-github-actions-stale branch August 21, 2023 13:41
@mandresm
Copy link
Contributor

Interesting... What about enhancement issues? Those should stay until we have time to take care of them.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants