Diffusion puppet-swh-site 77d39da952be

opam: avoid the repo management script to alway try to initialize the opam…
77d39da952be
Actions

Tags

None

Subscribers

None

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

opam: avoid the repo management script to alway try to initialize the opam repositories

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

Event Timeline

vsellier committed rSPSITE77d39da952be: opam: avoid the repo management script to alway try to initialize the opam… (authored by vsellier).Apr 20 2022, 4:18 PM

vsellier added an edge: D7602: opam: avoid the repo management script to alway try to initialize the opam repositories.

Commit No Longer Exists

This commit no longer exists in the repository.