Thanks guys! Very helpful information. Allowed me to be confident about 
proceeding. Problem has been fixed and it went smoothly.

I am still not sure how the repo could have gotten in that state since I am 
just about 100% positive there was no other push from anywhere. I will have 
to investigate more when I find the time.

That is one nice thing about git though, despite the convoluted interface 
and strange states I sometimes find my repos in, i have pretty much always 
been able to recover my work.

Thanks for the help.


Reply via email to