PR

PR #%1$d
PR stands for "Pull request" here. If your language doesn't have a very popular expression for this, please keep it in English.
8
Applied
PR #%1$d
8/8
Etienne, Jan 23, 2023 at 16:34