ci: post the LOC diff as a sticky pull request comment - #1753

Merged

sbryngelson merged 5 commits into

ci/loc-diff-comment

Aug 23, 2026

Commits on Aug 23, 2026

ci: post the LOC diff as a sticky pull request comment
sbryngelson
committed
8b398c2
ci: address review of the LOC diff comment bot
sbryngelson
committed
17ae833
ci: reject symlinks in the counted tree and drop the untrusted checkout
sbryngelson
committed
a67c1d1
Merge branch 'master' into ci/loc-diff-comment
sbryngelson
authored
f696f12
ci: trim comments in the LOC diff bot
sbryngelson
committed
cfdfabc