PRnummer
PRnummer is the numeric identifier assigned to a pull request within a repository on a code-hosting platform. It provides a concise, stable reference to the proposed changes, enabling developers to discuss, review, and track the work.
In most systems, the PRnummer is issued when the pull request is opened and increases sequentially within
PRnummer are used in communication and workflows. References like PR #123 can link teammates to the exact
Users should distinguish PRnummer from other identifiers such as commit SHAs and issue numbers. PRnummer identify
See also: pull request, merge request, issue number, commit hash, issue tracker.