Skip to content

Tweaking stale bot#48

Merged
HenraL merged 3 commits into
mainfrom
tweaking-stale-bot
Feb 14, 2026
Merged

Tweaking stale bot#48
HenraL merged 3 commits into
mainfrom
tweaking-stale-bot

Conversation

@HenraL

@HenraL HenraL commented Feb 14, 2026

Copy link
Copy Markdown
Contributor

This pull request makes updates to the GitHub workflow configuration files, focusing on permissions and issue/PR management policies. The main changes are to grant additional permissions for workflows and to make the stale issue and pull request process more aggressive by reducing the inactivity threshold.

Workflow permission updates:

Stale issue and pull request policy updates:

@HenraL
HenraL merged commit 800e937 into main Feb 14, 2026
2 checks passed
@HenraL
HenraL deleted the tweaking-stale-bot branch February 14, 2026 06:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant