My guess would that you did a 'commit amend' (or small rebase) locally that
slightly changed your line of development relative to your last push. As far as
the git sha1 hash is concerned a slight change and a ginormous change are the
same 'they are different'!
----- Original Message -----
Sent: Friday, December 28, 2012 8:08 PM
Subject: Re: [git-users] Help! Git pull deleted files.
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.
No virus found in this message.
Checked by AVG - www.avg.com
Version: 2013.0.2805 / Virus Database: 2637/5990 - Release Date: 12/27/12