search

HoTT / Coq-HoTT

A Coq library for Homotopy Type Theory
http://homotopytypetheory.org/
Other
1.24k stars 189 forks source link

Mistaken push to ssreflect on HoTT/HoTT #187

Closed peterlefanulumsdaine closed 11 years ago

peterlefanulumsdaine commented 11 years ago

Earlier today I accidentally pushed many commits to the HoTT/HoTT ssreflect branch (essentially, I think they were the ssreflect commits from Cyril’s fork barbichu/HoTT, plus a few extra).

I believe that before this push, the HoTT/HoTT ssreflect was pointing to 875cd7f; so I’m about to reset it to point there again as per the procedure described here. Just in case I’ve got something wrong there, though, anything orphaned should be recoverable from fcc11f4, the commit it points to since I pushed.

peterlefanulumsdaine commented 11 years ago

Reset pushed. Please let me know if you have any problems with this branch.

JasonGross commented 11 years ago

I agree that it pointed to 875cd7f9314b21f91fac9571de55d961e035de1a as of a few days ago. A short way to fix this is "git push upstream 875cd7f:ssreflect -f" (replacing "upstream" with whatever you call HoTT/HoTT, or, possibly, with the https url.)

On Tuesday, August 20, 2013, Peter LeFanu Lumsdaine wrote:

Earlier today I accidentally pushed many commits to the HoTT/HoTT ssreflect branch (essentially, I think they were the ssreflect commits from Cyril’s fork barbichu/HoTT, plus a few extra).

I believe that before this push, the HoTT/HoTT ssreflect was pointing to 875cd7f https://github.com/HoTT/HoTT/commit/875cd7f; so I’m about to reset it to point there again as per the procedure described herehttp://stackoverflow.com/a/10181607/399718. Just in case I’ve got something wrong there, though, anything orphaned should be recoverable from fcc11f4https://github.com/HoTT/HoTT/commit/fcc11f4, the commit it points to since I pushed.

— Reply to this email directly or view it on GitHubhttps://github.com/HoTT/HoTT/issues/187 .