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

[DOCS] Automatically assign 'status: pending triage' label to all new issues #2996

Merged
merged 7 commits into from
Jul 11, 2024
Merged

[DOCS] Automatically assign 'status: pending triage' label to all new issues #2996

merged 7 commits into from
Jul 11, 2024

Conversation

Hundrec
Copy link
Collaborator

@Hundrec Hundrec commented Jul 10, 2024

This PR should automatically apply the 'status: pending triage' label to every new issue.

Also includes some polish for each issue and PR template.

Question: Should enhancements also automatically receive the 'type: enhancement' label or would you prefer to assign type labels manually?

@EliteMasterEric
Copy link
Member

EliteMasterEric commented Jul 11, 2024 •
edited
Loading

I think adding type: enhancement automatically on issues makes sense.

I'll merge this first though.

@EliteMasterEric EliteMasterEric added type: documentation Involves improvements or additions to documentation. status: accepted PR was approved for contribution. If it's not already merged, it may be merged on a private branch. size: small A small pull request with 10 or fewer changes. labels Jul 11, 2024
@EliteMasterEric EliteMasterEric merged commit dd763c4 into FunkinCrew:main Jul 11, 2024
@Hundrec Hundrec mentioned this pull request Jul 11, 2024
Closed
@EliteMasterEric EliteMasterEric added this to the 0.5.0 milestone Jul 12, 2024
@EliteMasterEric EliteMasterEric self-assigned this Jul 25, 2024
@Hundrec Hundrec added pr: documentation PR modifies documentation or README files. pr: github PR modifies GitHub metadata files. type: github Relates to the management of issues and pull requests on GitHub. and removed type: documentation Involves improvements or additions to documentation. pr: documentation PR modifies documentation or README files. labels Jan 22, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
pr: github PR modifies GitHub metadata files. size: small A small pull request with 10 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.5.0
Development

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