{"action":"created","issue":{"url":"https://api.github.com/repos/ocaml/opam/issues/3548","repository_url":"https://api.github.com/repos/ocaml/opam","labels_url":"https://api.github.com/repos/ocaml/opam/issues/3548/labels{/name}","comments_url":"https://api.github.com/repos/ocaml/opam/issues/3548/comments","events_url":"https://api.github.com/repos/ocaml/opam/issues/3548/events","html_url":"https://github.com/ocaml/opam/issues/3548","id":361317927,"node_id":"MDU6SXNzdWUzNjEzMTc5Mjc=","number":3548,"title":"Commit found, but unreachable","user":{"login":"RalfJung","id":330628,"node_id":"MDQ6VXNlcjMzMDYyOA==","avatar_url":"https://avatars1.githubusercontent.com/u/330628?v=4","gravatar_id":"","url":"https://api.github.com/users/RalfJung","html_url":"https://github.com/RalfJung","followers_url":"https://api.github.com/users/RalfJung/followers","following_url":"https://api.github.com/users/RalfJung/following{/other_user}","gists_url":"https://api.github.com/users/RalfJung/gists{/gist_id}","starred_url":"https://api.github.com/users/RalfJung/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/RalfJung/subscriptions","organizations_url":"https://api.github.com/users/RalfJung/orgs","repos_url":"https://api.github.com/users/RalfJung/repos","events_url":"https://api.github.com/users/RalfJung/events{/privacy}","received_events_url":"https://api.github.com/users/RalfJung/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":3,"created_at":"2018-09-18T13:57:17Z","updated_at":"2018-10-10T15:20:43Z","closed_at":null,"author_association":"NONE","body":"After upgrading to opam 2, our CI fails with\r\n```\r\n[ERROR] Could not synchronize /builds/FP/iris-coq/opamroot/default/.opam-switch/sources/coq-mtac from \"git+https://github.com/Mtac2/Mtac2#9c9f628b87a639989fbec473e3508ac8e05f5f62\":\r\n        Commit found, but unreachable: enable uploadpack.allowReachableSHA1InWant on server\r\n```\r\nThis happens when pinning `https://github.com/Mtac2/Mtac2#9c9f628b87a639989fbec473e3508ac8e05f5f62`. The same pin worked fine with opam 1.\r\n\r\nThe strange thing is that this commit is *not* unreachable. It is about 20 commits back from [`master-8.8`](https://github.com/Mtac2/Mtac2/commits/master-8.8)."},"comment":{"url":"https://api.github.com/repos/ocaml/opam/issues/comments/428614870","html_url":"https://github.com/ocaml/opam/issues/3548#issuecomment-428614870","issue_url":"https://api.github.com/repos/ocaml/opam/issues/3548","id":428614870,"node_id":"MDEyOklzc3VlQ29tbWVudDQyODYxNDg3MA==","user":{"login":"RalfJung","id":330628,"node_id":"MDQ6VXNlcjMzMDYyOA==","avatar_url":"https://avatars1.githubusercontent.com/u/330628?v=4","gravatar_id":"","url":"https://api.github.com/users/RalfJung","html_url":"https://github.com/RalfJung","followers_url":"https://api.github.com/users/RalfJung/followers","following_url":"https://api.github.com/users/RalfJung/following{/other_user}","gists_url":"https://api.github.com/users/RalfJung/gists{/gist_id}","starred_url":"https://api.github.com/users/RalfJung/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/RalfJung/subscriptions","organizations_url":"https://api.github.com/users/RalfJung/orgs","repos_url":"https://api.github.com/users/RalfJung/repos","events_url":"https://api.github.com/users/RalfJung/events{/privacy}","received_events_url":"https://api.github.com/users/RalfJung/received_events","type":"User","site_admin":false},"created_at":"2018-10-10T15:20:43Z","updated_at":"2018-10-10T15:20:43Z","author_association":"NONE","body":"Actually I have to take this back, we are seeing the issue again with git 2.18 now.\r\n\r\nI even just had it on my laptop once, where what I did was:\r\n* I already had `coq.8.8.2` installed.\r\n* I did `opam pin add coq-mtac.dev -k git https://github.com/Mtac2/Mtac2#ef46cb8b5f7ff013df20996f4fd3cbea2d0fbc19` but then hit Ctrl-C.\r\n* I did `opam pin -vv add coq-mtac.dev -k git https://github.com/Mtac2/Mtac2#ef46cb8b5f7ff013df20996f4fd3cbea2d0fbc19` and it showed\r\n```\r\n+ /usr/bin/ocamlc \"-vnum\"\r\n- 4.05.0\r\n+ /usr/bin/git \"remote\" \"set-url\" \"origin\" \"https://github.com/Mtac2/Mtac2\" (CWD=/home/r/.opam/coq-8.8/.opam-switch/sources/coq-mtac)\r\n+ /usr/bin/git \"fetch\" \"-q\" \"https://github.com/Mtac2/Mtac2\" \"--update-shallow\" \"+ef46cb8b5f7ff013df20996f4fd3cbea2d0fbc19:refs/remotes/opam-ref-ef46cb8b5f7ff013df20996f4fd3cbea2d0fbc19\" (CWD=/home/r/.opam/coq-8.8/.opam-switch/sources/coq-mtac)\r\n- error: Server does not allow request for unadvertised object ef46cb8b5f7ff013df20996f4fd3cbea2d0fbc19\r\n+ /usr/bin/git \"fetch\" \"-q\" \"https://github.com/Mtac2/Mtac2\" (CWD=/home/r/.opam/coq-8.8/.opam-switch/sources/coq-mtac)\r\n+ /usr/bin/git \"fetch\" \"-q\" \"https://github.com/Mtac2/Mtac2\" \"+ef46cb8b5f7ff013df20996f4fd3cbea2d0fbc19:refs/remotes/opam-ref-ef46cb8b5f7ff013df20996f4fd3cbea2d0fbc19\" (CWD=/home/r/.opam/coq-8.8/.opam-switch/sources/coq-mtac)\r\n- error: Server does not allow request for unadvertised object ef46cb8b5f7ff013df20996f4fd3cbea2d0fbc19\r\n+ /usr/bin/git \"update-ref\" \"refs/remotes/opam-ref-ef46cb8b5f7ff013df20996f4fd3cbea2d0fbc19\" \"ef46cb8b5f7ff013df20996f4fd3cbea2d0fbc19\" (CWD=/home/r/.opam/coq-8.8/.opam-switch/sources/coq-mtac)\r\n- fatal: update_ref failed for ref 'refs/remotes/opam-ref-ef46cb8b5f7ff013df20996f4fd3cbea2d0fbc19': cannot update ref 'refs/remotes/opam-ref-ef46cb8b5f7ff013df20996f4fd3cbea2d0fbc19': trying to write ref 'refs/remotes/opam-ref-ef46cb8b5f7ff013df20996f4fd3cbea2d0fbc19' with nonexistent object ef46cb8b5f7ff013df20996f4fd3cbea2d0fbc19\r\n+ /usr/bin/git \"fetch\" \"-q\" (CWD=/home/r/.opam/coq-8.8/.opam-switch/sources/coq-mtac)\r\n+ /usr/bin/git \"show\" \"-s\" \"--format=%H\" \"ef46cb8b5f7ff013df20996f4fd3cbea2d0fbc19\" (CWD=/home/r/.opam/coq-8.8/.opam-switch/sources/coq-mtac)\r\n- ef46cb8b5f7ff013df20996f4fd3cbea2d0fbc19\r\n[ERROR] Could not synchronize /home/r/.opam/coq-8.8/.opam-switch/sources/coq-mtac from \"git+https://github.com/Mtac2/Mtac2#ef46cb8b5f7ff013df20996f4fd3cbea2d0fbc19\":\r\n        Commit found, but unreachable: enable uploadpack.allowReachableSHA1InWant on server\r\n[ERROR] Error getting source from git+https://github.com/Mtac2/Mtac2#ef46cb8b5f7ff013df20996f4fd3cbea2d0fbc19:\r\n          - git+https://github.com/Mtac2/Mtac2#ef46cb8b5f7ff013df20996f4fd3cbea2d0fbc19\r\n```\r\nHowever so far I was unable to reproduce the failure on my laptop, it happened just once... I assume it has something to do with the state of the cache?"}}
{"actor":{"display_login":"RalfJung"}}