diff options
author | 2012-05-06 18:01:11 +0200 | |
---|---|---|
committer | 2012-05-06 18:01:11 +0200 | |
commit | dc071122068cf445d9e1aeaf78573641f42df8d1 (patch) | |
tree | 53c1d71727cd54ae62f365500d4a3c39395f891c | |
parent | Add earlier nick "opfer" of fauli (diff) | |
download | userinfo-scripts-dc071122068cf445d9e1aeaf78573641f42df8d1.tar.gz userinfo-scripts-dc071122068cf445d9e1aeaf78573641f42df8d1.tar.bz2 userinfo-scripts-dc071122068cf445d9e1aeaf78573641f42df8d1.zip |
Do not re-write the past, requested by ulm
-rwxr-xr-x | git-identity-map.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-identity-map.py b/git-identity-map.py index 8025097..2f8aee4 100755 --- a/git-identity-map.py +++ b/git-identity-map.py @@ -32,7 +32,7 @@ def main(args): produce_line(svn_nick, realname, svn_nick) if svn_nick == 'fauli': - produce_line('opfer', realname, svn_nick) + produce_line('opfer', realname, 'opfer') return 0 |