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.

Sign up for GitHub

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

Jump to bottom

[GITHUB] Auto-close issues with the status: stale label #4017

Merged
merged 1 commit into from
Jan 23, 2025
Merged

[GITHUB] Auto-close issues with the status: stale label #4017

merged 1 commit into from
Jan 23, 2025

Conversation

Hundrec
Copy link
Collaborator

@Hundrec Hundrec commented Jan 22, 2025

GitHub Actions will now auto-close issues when assigned the status: stale label.

Also:

@github-actions github-actions bot added the size: medium A medium pull request with 100 or fewer changes. label Jan 22, 2025
@Hundrec Hundrec added type: documentation Involves improvements or additions to documentation. pr: documentation PR modifies documentation or README files. status: pending triage Awaiting review. labels Jan 22, 2025
@Hundrec Hundrec mentioned this pull request Jan 23, 2025
Closed
@EliteMasterEric EliteMasterEric merged commit 48a72ce into FunkinCrew:main Jan 23, 2025
5 checks passed
@Hundrec Hundrec added status: accepted PR was approved for contribution. If it's not already merged, it may be merged on a private branch. pr: github PR modifies GitHub metadata files. type: github Relates to the management of issues and pull requests on GitHub. and removed status: pending triage Awaiting review. type: documentation Involves improvements or additions to documentation. pr: documentation PR modifies documentation or README files. labels Jan 23, 2025
@EliteMasterEric EliteMasterEric added this to the 0.6.0 milestone Jan 23, 2025
@Hundrec Hundrec deleted the stale-actions branch January 26, 2025 21:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@EliteMasterEric EliteMasterEric EliteMasterEric approved these changes

Assignees
No one assigned
Labels
pr: github PR modifies GitHub metadata files. size: medium A medium pull request with 100 or fewer changes. status: accepted PR was approved for contribution. If it's not already merged, it may be merged on a private branch. type: github Relates to the management of issues and pull requests on GitHub.
Projects
None yet
Milestone
0.6.0 (Pit Stop 2)
Development

Successfully merging this pull request may close these issues.
2 participants
@Hundrec @EliteMasterEric