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 - : send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html