Thank you for all your answers, I'm not quoting anyone in particular
because I'll answer a bit to all of you.
First of all the good news: git reflog is actually the solution: following
some advice I found on the web, I reverted back to the first dangling
commit and could recover my data.
The bit of bad news is that afterwards the git repository was sort of
corrupted, and I'm not able to use it any more. I'm not particularly
interested in fixing it now, I think I've had enough.
I don't want to troll, but I don't feel comfortable using a versioning
systems that could just delete a bunch of random files, going as far as
changing to the parent directory to ensure that destruction is complete.
Well, it could have at least been written in the git-reset man page.
Thank you again, your advices were very helpful. It's just that git is not
made for me, or I'm not made for git.
--
--
You received this message because you are subscribed to the Google Groups
"GitHub" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/github?hl=en.
