review: never post to a merged or closed PR - #213

Closed

jwbron wants to merge 2 commits into

mainfrom

review-merged-pr-guard

Commits on Jul 7, 2026

review: never post to a merged or closed PR
jwbron
committed
205b1a0

Commits on Jul 10, 2026

Merge main into review-merged-pr-guard (keep both added README paragraphs)
jwbron
committed
0d0aebd