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
Erik Lennartsson, Aug 30, 2022 at 19:58