Search
4:44:52
beach
Good morning everyone!
5:03:24
no-defun-allowed
Good morning beach!
5:49:56
beach
So the corrupted Git repository was a bit scary.
5:50:22
beach
But I push quite often, so there was only a small number of things that aren't on GitHub.
5:51:23
beach
All I had to do was to clone a new repository from GitHub, and then use `diff -r' on each sub-directory to see what the differences were.
6:25:02
ck_
at what point did the power cut for you, I mean, what was the state of the repository at that time?
6:37:43
beach
There was no power cut. It was just the usual crashes.
6:37:58
beach
I had committed stuff locally, but I hadn't pushed.
6:42:21
ck_
Oh, I see. In that case you can usually find your commits by running git reflog
6:44:41
beach
Well, I tried it, and I get the same messages, 2 `error' and one `fatal'.