Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

More PR / issue tags. #1807

Open
yuri-kiss opened this issue Dec 25, 2024 · 0 comments
Open

More PR / issue tags. #1807

yuri-kiss opened this issue Dec 25, 2024 · 0 comments
Labels
enhancement New feature or request

Comments

@yuri-kiss
Copy link
Member

yuri-kiss commented Dec 25, 2024

We REALLY need more PR / issue tags to help organize this mess of a system (no offence).

(Maintainers just use the edit button and add to my issue down below)

Tags and their purposes; suggestions in no particular order except when we came up with them.
pr: indepth review required : This PR requires a deeper review and may take longer than expected.
pr: merge conflicts: This PR has merge conflicts and should NOT be approved.
pr: stale: This PR is stale and has warrent to be closed in due time.
pr: unstable patches: This means unstable patches were used.
pr/issue: duplicate: Self explanitory.

@SharkPool-SP SharkPool-SP added the enhancement New feature or request label Dec 28, 2024
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants