opam: avoid the repo management script to alway try to initialize the opam repositories
Description
Description
Details
Details
- Provenance
vsellier Authored on Apr 20 2022, 12:13 PM vsellier Pushed on Apr 20 2022, 4:20 PM - Differential Revision
- D7602: opam: avoid the repo management script to alway try to initialize the opam repositories
- Parents
- rSPSITE22e2d04ae7c5: Add a time.sleep in the certbot gandi dns-01 hook
- Branches
- Unknown
- Tags