Skip to content

Promote: sharpen develop-staleness check phrasing#237

Merged
ptr727 merged 2 commits into
mainfrom
develop
Jul 3, 2026
Merged

Promote: sharpen develop-staleness check phrasing#237
ptr727 merged 2 commits into
mainfrom
develop

Frame the staleness-diff -/+ lines more precisely (#238)

ba5bdf5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar