Pin published PR reviews to the reviewed checkout commit #2
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
src/disclose.rs omits commit_id from ReviewPayload even though the reviewed checkout SHA is available. A push during review can attach findings to a newer commit or cause invalid anchors.
Pass the actual reviewed commit through to the GitHub review payload, including recovery paths. Do not substitute the current remote head.
Validation: assert the serialized publication payload uses the reviewed SHA when the remote head differs.