feat: post comments about changes to crossref tags#44

Open

kim-em wants to merge 8 commits into

leanprover-community:masterfrom

kim-em:crossref-review-orchestrator

Commits on May 27, 2026

feat(crossref_review): slim orchestrator that delegates to external-tags

kim-em
and
claude
committed
fix(crossref_review): harden orchestrator + bump external-tags pin

kim-em
and
claude
committed
chore(crossref_review): bump external-tags pin to 3be1259

kim-em
and
claude
committed
doc(crossref_review): refresh README to match current orchestrator

kim-em
and
claude
committed
feat(crossref_review): merge-base baseline diff + tag regex + render timeout

kim-em
and
claude
committed
fix(crossref_review): delete orphaned comments, skip-if-unchanged, broaden baseline lookup

kim-em
and
claude
committed
fix(crossref_review): apply row cap after baseline subtraction, drop dead array

kim-em
and
claude
committed
chore: bump EXTERNAL_TAGS_SHA to cafd623 (doc-only)

kim-em
and
claude
committed