From 0d6c4d1bd96bdc3f5f48d2346885f56432c2e45a Mon Sep 17 00:00:00 2001 From: Euan Harris Date: Fri, 27 Sep 2024 10:54:46 +0100 Subject: [PATCH] Add mailmap (#2) ### Motivation The contributors list is generated using `git shortlog`. Git can use the `.mailmap` file to link commits from the same contributor using different email addresses. ### Modifications Add .mailmap file with initial mappings. ### Result Contributors using different email addresses will not be duplicated. ### Test Plan Re-ran soundness script, no change in contributors file. --- .mailmap | 1 + 1 file changed, 1 insertion(+) create mode 100644 .mailmap diff --git a/.mailmap b/.mailmap new file mode 100644 index 0000000..d7cfef4 --- /dev/null +++ b/.mailmap @@ -0,0 +1 @@ +Euan Harris