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