From: brett l. <bre...@gm...> - 2011-08-10 17:34:41
|
On Wed, Aug 10, 2011 at 10:22 AM, Erik Vos <eri...@xs...> wrote: >> Try doing a "git diff" and see what lines it thinks are changed. > > None. That's why I'm baffled. > > Erik. Strange. You can always do a "git reset --hard origin/master", but this will destroy any local commits you haven't pushed. A less destructive method is a simple "git reset --hard", which will reset any changes back to the state of your local HEAD. ---Brett. |