Stream: Coq devs & plugin devs

Topic: Gappa overlays


view this post on Zulip Pierre-Marie Pédrot (Oct 26 2021 at 21:14):

How do we write overlays for the gappa contrib?

view this post on Zulip Pierre-Marie Pédrot (Oct 26 2021 at 21:15):

I naively tried to do as in another user overlay by giving a gitlab repo URL, but it fails with an authentication error: https://github.com/coq/coq/pull/15069/checks?check_run_id=4014981524

view this post on Zulip Pierre-Marie Pédrot (Oct 26 2021 at 21:18):

Forget about it, I see double and can't discriminate the two usernames ppedrot and pedrot


Last updated: Feb 01 2023 at 15:04 UTC