diff --git a/PR-Labels.md b/PR-Labels.md new file mode 100644 index 0000000..95f9850 --- /dev/null +++ b/PR-Labels.md @@ -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 \ No newline at end of file