Merge pull request #76331 from grahamc/fixup-user-ids

maintainter-list: fixup stringly user IDs
This commit is contained in:
Graham Christensen 2019-12-23 19:05:42 -05:00 committed by GitHub
commit 054633c965
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1432,7 +1432,7 @@
craigem = {
email = "craige@mcwhirter.io";
github = "craigem";
githubId = "6470493";
githubId = 6470493;
name = "Craige McWhirter";
};
cransom = {
@ -2344,7 +2344,7 @@
Flakebi = {
email = "flakebi@t-online.de";
github = "Flakebi";
githubId = "Flakebi";
githubId = 6499211;
name = "Sebastian Neubauer";
keys = [{
longkeyid = "rsa4096/0xECC755EE583C1672";
@ -3041,7 +3041,8 @@
jacg = {
name = "Jacek Generowicz";
email = "jacg@my-post-office.net";
githubId = "2570854";
github = "jacg";
githubId = 2570854;
};
jasoncarr = {
email = "jcarr250@gmail.com";
@ -6856,7 +6857,7 @@
thefenriswolf = {
email = "stefan.rohrbacher97@gmail.com";
github = "thefenriswolf";
githubId = "8547242";
githubId = 8547242;
name = "Stefan Rohrbacher";
};
thesola10 = {