How do we write overlays for the gappa contrib?
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
Forget about it, I see double and can't discriminate the two usernames ppedrot
and pedrot
Last updated: Dec 07 2023 at 17:01 UTC