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

Workflow improvements #506

Open
wants to merge 2 commits into
base: master
Choose a base branch
from

Conversation

DanyHenriquez
Copy link

@DanyHenriquez DanyHenriquez commented Oct 12, 2023

Reason for the change

  • A lot of PR's and issues are open without any action. These should be closed automatically when stale
  • Dependency updates also bring security fixes. This should be taken seriously. Therefore we should use a reliable mechanism for auto updates (Renovate)

Description
See reasons

Code examples
Not applicable

Checklist

References
Anything else related to the change e.g. documentations, RFCs, etc.

@DanyHenriquez DanyHenriquez changed the title Close stale issues and PRs Workflow improvements Oct 12, 2023
@gabor-boros
Copy link
Member

@DanyHenriquez Although I agree with the intention, the repository is not that active to automatically close the issues or PRs. How about cleaning up the issues and if still needed, we can merge this later?

@DanyHenriquez
Copy link
Author

@DanyHenriquez Although I agree with the intention, the repository is not that active to automatically close the issues or PRs. How about cleaning up the issues and if still needed, we can merge this later?

On second thought we should only tag PR's as stale anyway in stead of closing things without a human verifying the closure.

Of course we can do this later

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.

None yet

2 participants