being a github newbie, undoing last commit manually