-
Notifications
You must be signed in to change notification settings - Fork 85
Clarify issue policy #795
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.
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
base: main
Are you sure you want to change the base?
Clarify issue policy #795
Conversation
Added contributing guidelines and issue categorization.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Pull request overview
This PR adds a new "Contributing" section to the README that documents the egglog project's issue triage process and labeling system, addressing issue #791.
Changes:
- Added a Contributing section to README.md that explains the three-stage issue categorization system (
needs discussion,needs decision, andready for work) - Included guidance for new contributors on finding issues suitable for contribution
- Documented the core developers' process for triaging unlabeled issues
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
README.md
Outdated
|
|
||
| We organize our issues with into three stages: | ||
|
|
||
| 1. [`status:needs discussion`](https://github.com/egraphs-good/egglog/issues?q=state%3Aopen%20label%3A%22status%3Aneeds%20discussion%22): More work refinining this should happen on or offline, before its ready to be considered. |
Copilot
AI
Jan 27, 2026
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The phrase "before its ready" is grammatically incorrect. It should be "before it's ready" (contraction of "it is") or "before it is ready".
| 1. [`status:needs discussion`](https://github.com/egraphs-good/egglog/issues?q=state%3Aopen%20label%3A%22status%3Aneeds%20discussion%22): More work refinining this should happen on or offline, before its ready to be considered. | |
| 1. [`status:needs discussion`](https://github.com/egraphs-good/egglog/issues?q=state%3Aopen%20label%3A%22status%3Aneeds%20discussion%22): More work refinining this should happen on or offline, before it's ready to be considered. |
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Closes #791 by creating a policy in the readme for issue categorization and approval by the team.