Wrong remote is set if GitHub user already has a repo named "opam-repository"

[leviroth]

I ran opam publish for the first time yesterday. It forked opam-repository for me and tried to set up my fork as a remote for the local clone of https://github.com/ocaml/opam-repository.

However, I already have a repo named "opam-repository": https://github.com/leviroth/opam-repository, so my new fork ended up being named "opam-repository-1": https://github.com/leviroth/opam-repository-1

opam publish did $ git remote add user git@github.com:leviroth/opam-repository.git, so the changes ended up getting pushed to the wrong repo: https://github.com/leviroth/opam-repository/tree/opam-publish-reddit_api_async-reddit_api_kernel.0.1.0

Workaround

I changed the remote to point to the right repo and opam publish then worked fine:

$ git remote remove user
$ git remote add user git@github.com:leviroth/opam-repository-1.git