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.