Возможно, прежде чем вы увидели эту ошибку
/usr/bin/git fetch --multiple origin user" exited with code 128 "fatal: No such remote or remote group: user
Вы пропустили ошибку 401 Unauthorized
, которая связана с ошибкой в новом пакете github-unix
и встречает GitHub, исключающий API.
Вот что я сделал, чтобы очистить его.
Очистить остаток opam-publi sh state
rm -rf ~/.opam/plugins/opam-publish/repos/ocaml%opam-repository
rm -f ~/.opam/plugins/opam-publish/ocaml%opam-repository.token
Понизить github- unix до <4.3. 0 </p>
opam install github-unix.4.2.0
Выполнить opam publish
снова.
Ссылки