, however there appears to be a problem with the repo on github. I've emailed Github support, but someone should probably look into it.
Cloning into 'opam-repo-dev'...
remote: error: refs/heads/master does not point to a valid object!
remote: error: refs/pull/1/head does not point to a valid object!
remote: error: refs/pull/1/merge does not point to a valid object!
remote: error: refs/pull/10/head does not point to a valid object!
remote: error: refs/pull/10/merge does not point to a valid object!
remote: error: refs/pull/2/head does not point to a valid object!
remote: error: refs/pull/2/merge does not point to a valid object!
remote: error: refs/pull/3/head does not point to a valid object!
remote: error: refs/pull/3/merge does not point to a valid object!
remote: error: refs/pull/4/head does not point to a valid object!
remote: error: refs/pull/4/merge does not point to a valid object!
remote: error: refs/pull/5/head does not point to a valid object!
remote: error: refs/pull/5/merge does not point to a valid object!
remote: error: refs/pull/6/head does not point to a valid object!
remote: error: refs/pull/6/merge does not point to a valid object!
remote: error: refs/pull/7/head does not point to a valid object!
remote: error: refs/pull/7/merge does not point to a valid object!
remote: error: refs/pull/8/head does not point to a valid object!
remote: error: refs/pull/8/merge does not point to a valid object!
remote: error: refs/pull/9/head does not point to a valid object!
remote: error: refs/pull/9/merge does not point to a valid object!
remote: fatal: failed to read object d146147d40c8ba78d207cd35c17e799c79a1dce8: Input/output error
remote: aborting due to possible repository corruption on the remote side.
fatal: early EOF
fatal: index-pack failed
--
-
Steven Seed
Sr Systems Engineer
Walt Disney Animation Studios
818-460-9453