Skip to content

fixed-in-PR: a label for an issue whose fix is already written - #825

Merged
lmoresi merged 5 commits into
developmentfrom
tooling/fixed-in-pr-label
Oct 12, 2026
Merged

fixed-in-PR: a label for an issue whose fix is already written#825
lmoresi merged 5 commits into
developmentfrom
tooling/fixed-in-pr-label

triage: list fixes in a PR merged to a feature base, not only to deve…

bf83562
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar