question / feature request: an opam command to set archive-mirrors field

[hannesm]

Of course, I can manually edit ~/.opam/config, but it would be great (avoiding typos, etc.) if I could use opam config set jobs 10 (or opam config set archive-mirrors http://my-local-mirror) and also unset these again.

As far as I can tell, the opam config set and opam config set-global are only about variables, not about the data stored in the config file.

[hannesm]

opam option --global archive-mirrors it is (for get), and with #5315 it is settable as well (~/mirage/opam/_build/default/src/client/opamMain.exe option --global archive-mirrors='["https://opam.ocaml.org/cache"]')