>>> Whoops. That's me; I committed a minor change from a test box and >>> forgot >>> to set up a proper GIT user first. >>> >>> I don't know if there is any way to fix this. I never really liked the >>> fact that anyone can use any username they want when committing to GIT >>> (as >>> long as the proper login credentials are given), and this is a prime >>> example of what I was concerned about. >>> >>> Tim >> >> I have pushed a fix for the bad commit into GIT head. This may require >> that you hard reset to the latest origin/master hash to prevent problems >> when committing later. >> >> Tim > > Well, that didn't work. I don't think there is any good way to clean out > the offending commit unfortunately. > > Tim OK, I was able to scrub it out but it wasn't easy. The moral of the story here is to always, always check the Author line BEFORE pushing to master! Tim