[PATCH] mailmap: change primary address for Derrick Stolee

From: Derrick Stolee <derrickstolee@github.com>

Stolee transitioned from Microsoft to GitHub in July 2020, but continued to use <dstolee@microsoft.com> because it was a valid address. He also used <stolee@gmail.com> to communicate with the mailing list since writing plaintext emails is difficult in Outlook. However, recent issues with GMail delaying mailing list messages created a need to change his primary email address.

Signed-off-by: Derrick Stolee <derrickstolee@github.com>
---
    mailmap: change primary address for Derrick Stolee
    
    As mentioned, I'm transitioning my email to my @github.com address. I
    might still use stolee@gmail.com for some old threads that aren't
    completely available in my other account.
    
    This also doesn't change any commits that were submitted before this,
    but should affect all commits that I submit afterwards.
    
    Thanks, -Stolee

Published-As: https://github.com/gitgitgadget/git/releases/tag/pr-1142%2Fderrickstolee%2Fmailmap-v1
Fetch-It-Via: git fetch https://github.com/gitgitgadget/git pr-1142/derrickstolee/mailmap-v1
Pull-Request: https://github.com/gitgitgadget/git/pull/1142

 .mailmap | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)