← Watch feed
docs: fix inconsistent terminology in README.md
What changed, and why it matters
This commit changes one word in the README.md file, replacing 'MR' (merge request) with 'PR' (pull request). It is a documentation-only terminology fix with no code changes and no security relevance.
Recommended action
No security action required. Treat as routine documentation cleanup.
Security signals we found
No strong security signals were identified.
Evidence from the diff
Single-line documentation edit in README.md: ‘MR’ -> ‘PR’. No source code, build system, CI configuration, or cryptographic logic was modified. No security signals present.
Changed components
README.mdInspect captured patch +1 / −1
diff --git a/README.md b/README.md
index 1a287bda..c9532cf3 100644
--- a/README.md
+++ b/README.md
@@ -185,7 +185,7 @@ for review yet please mark it by prefixing the title with `WIP: `.
### CI Pipeline
-The CI pipeline requires approval before being run on each MR.
+The CI pipeline requires approval before being run on each PR.
In order to speed up the review process the CI pipeline can be run locally using
[act](https://github.com/nektos/act). The `fuzz` and `Cross` jobs will be skipped when using `act`
Risk score
Our methodology →Why this scored 15/100
Human-validated context
Community notes
Notes can correct, qualify, or add evidence to the AI analysis. Every note shown here has been validated by a human moderator.
No validated notes yet.
The AI analysis stands alone for now. Submit a note if you can add evidence or important context.