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
Yedidya Laufer, Jul 24, 2022 at 03:14