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

Adds github action to close stale github issues #1064

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

Conversation

pascal-roth
Copy link
Collaborator

@pascal-roth pascal-roth commented Sep 28, 2024

Description

The workflow will find issues that have been inactive for 30 days and will add the specified comment and "stale" label. Additionally, the workflow will close any previously labeled issues if no additional activity has occurred in the next 14 days. All issues with the label "dev team" should be exempt.

Currently, the workflow will only label and/or close 30 issues at a time in order to avoid exceeding a rate limit.

Type of change

  • New feature (non-breaking change which adds functionality)

Checklist

  • I have run the pre-commit checks with ./isaaclab.sh --format
  • I have made corresponding changes to the documentation
  • My changes generate no new warnings
  • I have added tests that prove my fix is effective or that my feature works
  • I have updated the changelog and the corresponding version in the extension's config/extension.toml file
  • I have added my name to the CONTRIBUTORS.md or my name already exists there

@pascal-roth pascal-roth self-assigned this Sep 28, 2024
@pascal-roth pascal-roth added enhancement New feature or request dev team Issue or pull request created by the dev team labels Sep 28, 2024
@pascal-roth
Copy link
Collaborator Author

@kellyguo11 @jsmith-bdai review please

Copy link
Collaborator

@jsmith-bdai jsmith-bdai left a comment

Choose a reason for hiding this comment

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

Looks good, this will be super helpful!

Copy link
Contributor

@kellyguo11 kellyguo11 left a comment

Choose a reason for hiding this comment

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

LGTM

@Dhoeller19
Copy link
Collaborator

Hi @pascal-roth,
Thanks for the suggestion. We must first make sure that we go through the whole backlog of Issues, then we could activate this.

@pascal-roth
Copy link
Collaborator Author

@Dhoeller19 do you think we can manage that within the next 1.5 months, that would be the time we have until the first issue closing would happen

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dev team Issue or pull request created by the dev team enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants