git clone fails - Githubissues

andrejbauer / Homotopy

Homotopy theory in Coq.

http://math.andrej.com/homotopy/

90 stars 8 forks source link

git clone fails #1

Open kim-em opened 11 years ago

kim-em commented 11 years ago

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?

andrejbauer commented 11 years ago

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