Homotopy icon indicating copy to clipboard operation
Homotopy copied to clipboard

Published 20 hours ago • verified publisher icon andrejbauer

git clone fails

Open kim-em opened this issue 12 years ago • 1 comments

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?

kim-em avatar Oct 06 '13 01:10 kim-em

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

andrejbauer avatar Oct 07 '13 07:10 andrejbauer