> 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