Am 05.03.2013 03:45, schrieb smichr:
Here is the ticket:
cp .git/ORIG_HEAD .git/HEAD
rm -f .git/index
git reset
git rebase --abort
(at least that is the best that I've been able to do so far)
Removing the index seems like a good way to kill any git repo.
I'd simply start over with a new clone, copying the working directory
over to salvage any uncommitted work. The unpushed commits would be
gone, not sure how much of a problem that would be.
Regards,
Jo
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sympy?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
