Closed yminsky closed 6 years ago
I can't reproduce this. Can you try this?
$ opam list --depends-on github --recursive
# Available packages recursively depending on github.2.3.0 for 4.04.0:
datakit-bridge-github 0.9.0 A bi-directional bridge between the GitHub API and Datakit
datakit-ci 0.9.0 Continuous Integration service using DataKit
datakit-github 0.8.1 A bi-directional bridge between the GitHub API and Datakit
github-hooks 0.1.1 GitHub API web hook listener library
opam-publish 0.3.0+transition opam-publish transition package
opam-sync-github-prs 1.1.0 Sync OCaml GitHub issues with OPAM
publish 0.3.4 A tool to ease contributions to opam repositories.
I do have some weird pins right now, which maybe cause the problem?
anyway:
RWO $ opam list --depends-on github --recursive
# Available packages recursively depending on github.2.3.0 for 4.04.0:
datakit-bridge-github 0.9.0 A bi-directional bridge between the GitHub API and Datakit
datakit-ci 0.9.0 Continuous Integration service using DataKit
datakit-github 0.8.1 A bi-directional bridge between the GitHub API and Datakit
github-hooks 0.1.1 GitHub API web hook listener library
opam-publish 0.3.0+transition opam-publish transition package
opam-sync-github-prs 1.1.0 Sync OCaml GitHub issues with OPAM
publish 0.3.4 A tool to ease contributions to opam repositories.
And here are my pins:
RWO $ opam pin
merlin.3.0.0 git https://github.com/the-lambda-church/merlin.git
ocaml-topexpect.0.1 git https://github.com/let-def/topexpect.git
Real-World-OCaml.dev (uninstalled) path /Users/yminsky/Documents/code/RWO-avsm
I can't see what would cause github to be pulled in. Does it happen with other unrealted packages?
No. I'll update the issue if I see anything new.
On Fri, Apr 21, 2017 at 8:54 AM, Jérémie Dimino notifications@github.com wrote:
I can't see what would cause github to be pulled in. Does it happen with other unrealted packages?
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/janestreet/opam-repository/issues/8#issuecomment-296182653, or mute the thread https://github.com/notifications/unsubscribe-auth/AArqJlan0yzof8Z3dO4DpYNLDjlOqjkRks5ryKb2gaJpZM4NEOVx .
@yminsky, can this issue be closed ?
It's notable right now because github isn't building, but why is this true at all?