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

Fix typo (mergeing -> merging)

KrystalDelusion 2024-04-03 11:04:25 +13:00
parent e0562d04f7
commit 41cb7622d4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
PR-Labels.md

@ -12,7 +12,7 @@ These labels provide a bit more context beyond the draft/open/closed PR status
* [**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
## Merging
These labels indicate when a PR is about to be merged, making it easier to prioritize additional reviews.