I’m trying to use OPAM to install Core from the development repo using
opam pin add core --dev-repo. However OPAM wants to use the URL
git+https://github.com/janestreet/core.git and passes that to
git, rather than just the portion starting with
https. This causes git to fail with a fatal error.
Do I need to file a bug report either with OPAM or Core to get this fixed?
For context, I’m doing this to get around a build error with
cohttpasync` on Arch Linux.