Skip to content

opam: Lock repository when executing maintenance on root directory

Antoine R. Dumont requested to merge generated-differential-D6337-source into generated-differential-D6337-target

Is that the lock stanza you had in mind?

I have yet to exercize it though (in docker for example).

Another thing comes to mind, regarding the opam maintenance. I need to stop the loaders from doing their own maintenance work (diff coming) because the lister should have done it already.

I think it's fine for the lister to actually do that maintenance since that allows those to run from another environment where no extra maintenance exists (e.g docker). For the production part, there is swh/infra/puppet/puppet-swh-site!413 (closed) which should be in charge of it (that currently installs the opam root dir on all workers so they can do their job).

Test Plan

tox

Migrated from D6337 (view on Phabricator)

Merge request reports