Repository navigation

Let a label added right after opening supersede the release-intent check - #213

Merged

woksin merged 2 commits into

mainfrom

workflows-93-label-grace

Oct 25, 2026

Merged

Let a label added right after opening supersede the release-intent check#213
woksin merged 2 commits into
mainfrom
workflows-93-label-grace

Commits on Oct 25, 2026
- Let label events supersede unlabeled PR policy runs
  woksin
  committed
  59361aa
- Document the release-intent label grace period
  woksin
  committed
  64875e8