Stream: Coq devs & plugin devs

Topic: Linking issues/PR

view this post on Zulip 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: Dec 07 2023 at 06:38 UTC