also looking at this

fix: let the satisfied-PR closer consult the manifest, and reject phantom paths from PR bodies

#1447

Merged glennmichael123 wants to merge fix/satisfied-pr-verification into main

2 files +134 -11

0ace3e47d2 fix: let the satisfied-PR closer consult the manifest, and reject phantom paths from PR bodies glennmichael123 review this step