diff --git a/PR-Labels.md b/PR-Labels.md index 95f9850..6581cb2 100644 --- a/PR-Labels.md +++ b/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.