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
G 21, Dec 10, 2022 at 19:36