Stream: Coq devs & plugin devs

Topic: Linking issues/PR

Cyril Cohen (May 07 2020 at 18:57):

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

Last updated: Oct 15 2021 at 19:03 UTC