Newbie git experience: resetting local git tree back to an earlier state