Skip to content

refactor(rebrand): rename bot-posted check-run names and PR-comment branding - #5468

Merged
JSONbored merged 1 commit into
mainfrom
loopover/checkrun-rename
Jul 12, 2026
Merged

refactor(rebrand): rename bot-posted check-run names and PR-comment branding#5468
JSONbored merged 1 commit into
mainfrom
loopover/checkrun-rename