12 Dec
2010
12 Dec
'10
9:40 a.m.
Well, if you want to continue digging, you could always do 'git reset --hard 37f43e3' to get back to where you were, and then try a new 'git pull' (optionally with '-r'), and see what happens...