From: Johannes Schindelin <hidden> Date: 2016-06-15 22:42:30
Hi,
with the recent patches to introduce $HOME/.gitconfig, I also introduced
two bugs. They were not due to lacking of testing, but rather due to
testing with an accidentally set GIT_CONFIG. And now I *know* why I did
not want that thing in the first place. And I decided not to become a
pilot, ever.
Ciao,
Dscho