>> 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