Closed mmlb closed 2 years ago
This way the ready-to-merge label can be used to filter PRs that are stalled. Mergify considers a merged PR closed, so we don't need to add it explicitly.
This way the ready-to-merge label can be used to filter PRs that are stalled. Mergify considers a merged PR closed, so we don't need to add it explicitly.