This repository has been archived by the owner on Jan 9, 2018. It is now read-only.

git clone fails #1

Open

kim-em opened this issue Oct 6, 2013 · 1 comment

kim-em commented Oct 6, 2013

git clone https://github.com/andrejbauer/Homotopy/tree/master/UnivalentFoundations

Cloning into 'UnivalentFoundations'...
fatal: https://github.com/andrejbauer/Homotopy/tree/master/UnivalentFoundations/info/refs?service=git-upload-pack not found: did you run git update-server-info on the server?

Owner

andrejbauer commented Oct 7, 2013

Ugh, this repository is severely outdated. I should get rid of it, actually.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.