On Tue of July 10 2012, Kacper Kornet wrote: > The solution that I know is to define a wrapper around git, that calls > call "git -c user.email=whatever", where whatever depends on the current > path. It's cumbersome, but maybe better then nothing.
Or one can alias the 'git' command to a simple script that checks for .git/config, check if remote origin is git.pld-linux.org and if so, uses a different user.email. Hm, I could use that. Wonder if anyone already wrote it. --mmazur _______________________________________________ pld-devel-en mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-devel-en
