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