Skip to content

Conversation

@younesbelkada
Copy link
Contributor

@younesbelkada younesbelkada commented Mar 31, 2023

What does this PR do?

This PR adds a stale bot to automatically close issues / PRs that are stale. I believe they are many ways to introduce stale bots (can be also done through actions), but decided to follow the same approach as in transformers.

This introduces a script, stale.py, that will check for issues and PRs that have at least 23 days of inactivity. If that's the case, the bot will first post a message on the corresponding issue / PR and will close it on the next week if no one responds to that issue.

From my understanding the check will be performed everyday at the 15th hour (so 3PM): https://www.adminschoice.com/crontab-quick-reference (from cron 0 15 * * *)

cc @pacman100 and @ydshieh @sgugger 💯 for visibility / double checking 🙏

@HuggingFaceDocBuilderDev
Copy link

HuggingFaceDocBuilderDev commented Mar 31, 2023

The documentation is not available anymore as the PR was closed or merged.

if: github.repository == 'huggingface/peft'
runs-on: ubuntu-latest
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
Copy link
Contributor Author

Choose a reason for hiding this comment

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

I think this secret should be present on the repository , not sure if that's the case

Copy link
Contributor Author

Choose a reason for hiding this comment

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

This is not needed to be added on the repository, check: https://docs.github.com/en/actions/security-guides/automatic-token-authentication

Copy link
Contributor

@pacman100 pacman100 left a comment

Choose a reason for hiding this comment

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

This is great 🔥, Thanks a lot, LGTM!

@younesbelkada younesbelkada merged commit dd30335 into huggingface:main Apr 3, 2023
@younesbelkada younesbelkada deleted the add-stale-bot branch April 3, 2023 12:31
Guy-Bilitski pushed a commit to Guy-Bilitski/peft that referenced this pull request May 13, 2025
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