maintainers: fix wrong capitalization of githubId (#82446)

This commit is contained in:
Martin Milata 2020-03-13 00:39:54 +01:00 committed by GitHub
parent eff447b321
commit ec4fa2f123
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1958,7 +1958,7 @@
drewrisinger = { drewrisinger = {
email = "drisinger+nixpkgs@gmail.com"; email = "drisinger+nixpkgs@gmail.com";
github = "drewrisinger"; github = "drewrisinger";
gitHubId = 10198051; githubId = 10198051;
name = "Drew Risinger"; name = "Drew Risinger";
}; };
dsferruzza = { dsferruzza = {
@ -3099,7 +3099,7 @@
illiusdope = { illiusdope = {
email = "mat@marini.ca"; email = "mat@marini.ca";
github = "illiusdope"; github = "illiusdope";
gitHubId = 61913481; githubId = 61913481;
name = "Mat Marini"; name = "Mat Marini";
}; };
ilya-fedin = { ilya-fedin = {
@ -4890,7 +4890,7 @@
mmilata = { mmilata = {
email = "martin@martinmilata.cz"; email = "martin@martinmilata.cz";
github = "mmilata"; github = "mmilata";
gitHubId = 85857; githubId = 85857;
name = "Martin Milata"; name = "Martin Milata";
}; };
mmlb = { mmlb = {