One can use coq/coq#number (e.g. coq/coq#8855) to refer to PRs
coq/coq#number
Last updated: Feb 05 2023 at 22:03 UTC