In a git pin it seems that now when I update the opam file in git it asks me whether I want to override the opam file. I don't really see why there's a reason for that:
This is basically an uninstalled git-pinned package in which I changed the opam file.
> opam upgrade omod
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[omod.0.0.1] synchronised from git+file:///Users/dbuenzli/sync/repos/omod#master
[omod] Conflicting update of the metadata from git+file:///Users/dbuenzli/sync/repos/omod#master.
Override files in /Users/dbuenzli/.opam/4.03.0/.opam-switch/overlay/omod (there will be a backup)?
omod is not installed. Install it? [Y/n] y
The following actions will be performed:
- install omod 0.0.1*
In a git pin it seems that now when I update the
opamfile in git it asks me whether I want to override theopamfile. I don't really see why there's a reason for that:This is basically an uninstalled
git-pinned package in which I changed theopamfile.