diff --git a/tools/get_commits.py b/tools/get_commits.py index c6e316e..2c16b36 100644 --- a/tools/get_commits.py +++ b/tools/get_commits.py @@ -23,8 +23,9 @@ name_map = { ('Jeromy', 'jeromyj@gmail.com'): 'Jeromy Johnson', - 'juan@benet.ai': 'Juan Benet' - } + 'juan@benet.ai': 'Juan Benet', + 'dignifiedquire@gmail.com': 'Friedel Ziegelmayer', + } def apply_name_map(name, email): "Attempt to convert a name+email into a name"