The mailmap file allows defining a unique name to an email adress. This
avoids multiple occurrences of the same person in cases where someone
has committed on different machines with different git settings.