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: Feb 05 2023 at 22:03 UTC