You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This commit was created on GitHub.com and signed with GitHub’s verified signature.
Minor Changes
f1b772e: - Approval retention matches the PR's change by git patch-id --verbatim, so a base merge that shifts line numbers keeps the approval. Whitespace changes still trigger a review.
Each approval names the fact the change is safe because of and how the reviewer checked it: claimed, cited, traced or tested. A high-risk approval on a claimed fact escalates to a person.