2012/7/10 Mariusz Mazur <[email protected]>: > 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.
I thought of that too and could code it up, but as I thought about it, it seemed like something somebody else would already have done long ago. I just couldn't figure out what to search for to find a canonical solution. Caleb _______________________________________________ pld-devel-en mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-devel-en
