You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We only check if e.g. the dir ~/.opam/plugins/opam-publish/repos/ocaml%opam-repository exists before deciding wether to clone or update. It happened that the initial clone failed, but the directory still existed (without a proper .git).
Then all attempts would fail while trying to run git fetch in there. It would be nice to have better detection, or recover the git error to clone again from scratch.
I have entered into this situation where /usr/bin/git fetch --multiple origin user is called (and fails) after an initial incomplete opam publish. Could you please tell me how do I reverse this situation?
We only check if e.g. the dir
~/.opam/plugins/opam-publish/repos/ocaml%opam-repository
exists before deciding wether to clone or update. It happened that the initial clone failed, but the directory still existed (without a proper.git
).Then all attempts would fail while trying to run
git fetch
in there. It would be nice to have better detection, or recover thegit
error to clone again from scratch.Discovered by user @sanette on https://discuss.ocaml.org/t/best-way-to-publish-opam-package/4036/17 : thanks!
The text was updated successfully, but these errors were encountered: