From 1f1663fb37eafcb8649f920cb9bc808eb3d29abc Mon Sep 17 00:00:00 2001
From: Nilstrieb <48135649+Nilstrieb@users.noreply.github.com>
Date: Mon, 17 Apr 2023 14:18:07 +0200
Subject: [PATCH] Change Nilstrieb's name and email

This brings it in line with the name and email used for commits, which should merge my two clones on https://thanks.rust-lang.org
---
 src/reviewers.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/reviewers.rs b/src/reviewers.rs
index 67a0e1cd..c801cf1e 100644
--- a/src/reviewers.rs
+++ b/src/reviewers.rs
@@ -240,7 +240,7 @@ impl Reviewers {
         map.insert("nick29581", nrc.clone());
         map.insert("nikic", a("Nikita Popov", "nikita.ppv@gmail.com"));
         map.insert("nikomatsakis", nikomatsakis.clone());
-        map.insert("nilstrieb", a("nils", "nilstrieb@gmail.com"));
+        map.insert("nilstrieb", a("Nilstrieb", "48135649+Nilstrieb@users.noreply.github.com"));
         map.insert("nmatsakis", nikomatsakis.clone());
         map.insert("nnethercote", a("Nicholas Nethercote", "nnethercote@mozilla.com"));
         map.insert("notriddle", a("Michael Howell", "michael@notriddle.com"));