diff options
author | 2012-05-06 17:31:33 +0200 | |
---|---|---|
committer | 2012-05-06 17:31:33 +0200 | |
commit | 3182aec4221cf3f2a471ecf587c5abfa6ae725af (patch) | |
tree | 8f92b9ff1c9b4f453c8c66b6f71c4b461fdd2120 | |
parent | Extract function produce_line() (diff) | |
download | userinfo-scripts-3182aec4221cf3f2a471ecf587c5abfa6ae725af.tar.gz userinfo-scripts-3182aec4221cf3f2a471ecf587c5abfa6ae725af.tar.bz2 userinfo-scripts-3182aec4221cf3f2a471ecf587c5abfa6ae725af.zip |
Add earlier nick "opfer" of fauli
-rwxr-xr-x | git-identity-map.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/git-identity-map.py b/git-identity-map.py index fd87158..8025097 100755 --- a/git-identity-map.py +++ b/git-identity-map.py @@ -31,6 +31,9 @@ def main(args): produce_line(svn_nick, realname, svn_nick) + if svn_nick == 'fauli': + produce_line('opfer', realname, svn_nick) + return 0 |