One can use coq/coq#number (e.g. coq/coq#8855) to refer to PRs

coq/coq#number

Last updated: May 24 2024 at 22:02 UTC