luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Created PR Labels (markdown)

Jannis Harder 2024-04-02 14:25:54 +02:00
parent 3eaf9cd622
commit e0562d04f7
1 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
PR-Labels.md Normal file

@ -0,0 +1,22 @@
# PR Labels
## Overall PR Status
These labels provide a bit more context beyond the draft/open/closed PR status
* [**status-blocked**](/YosysHQ/yosys/issues?q=label%3Astatus-blocked): Status: Blocked on work done outside of this PR
* [**status-bitrotted**](/YosysHQ/yosys/issues?q=label%3Astatus-bitrotted): Status: Broken by changes on main that require non-trivial changes to this PR
* [**status-paused**](/YosysHQ/yosys/issues?q=label%3Astatus-paused): Status: Unfinished, not actively worked on, PR author intends to continue PR in the future
* [**status-abandoned**](/YosysHQ/yosys/issues?q=label%3Astatus-abandoned): Status: Unfinished, not actively worked on
* [**status-superseded**](/YosysHQ/yosys/issues?q=label%3Astatus-superseded): Status: Work continues in a different PR or was made redundant
* [**status-needs-review**](/YosysHQ/yosys/issues?q=label%3Astatus-needs-review): Status: Needs reviewers to move forward
## Mergeing
These labels indicate when a PR is about to be merged, making it easier to prioritize additional reviews.
* [**merge-soon**](/YosysHQ/yosys/issues?q=label%3Amerge-soon): Merge: PR will be merged at the end of the next work day unless concerns are raised
* [**merge-after-jf**](/YosysHQ/yosys/issues?q=label%3Amerge-after-jf): Merge: PR will be merged after the next Dev JF unless concerns are raised
* [**merge-before-release**](/YosysHQ/yosys/issues?q=label%3Amerge-before-release): Merge: PR should be included in the next release
* [**merge-after-release**](/YosysHQ/yosys/issues?q=label%3Amerge-after-release): Merge: PR should not be included in the next release