Merge pull request #89409 from edibopp/change-username

Update my GitHub username
This commit is contained in:
Domen Kožar 2020-06-03 16:16:16 +02:00 committed by GitHub
commit b759127127
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 8 additions and 8 deletions

View File

@ -193,12 +193,6 @@
githubId = 315003;
name = "Adam Saponara";
};
aepsil0n = {
email = "eduard.bopp@aepsil0n.de";
github = "aepsil0n";
githubId = 3098430;
name = "Eduard Bopp";
};
aerialx = {
email = "aaron+nixos@aaronlindsay.com";
github = "AerialX";
@ -2182,6 +2176,12 @@
githubId = 50854;
name = "edef";
};
edibopp = {
email = "eduard.bopp@aepsil0n.de";
github = "edibopp";
githubId = 3098430;
name = "Eduard Bopp";
};
emantor = {
email = "rouven+nixos@czerwinskis.de";
github = "emantor";

View File

@ -61,6 +61,6 @@ buildPythonPackage rec {
description = "Terminal MUA using notmuch mail";
license = licenses.gpl3;
platforms = platforms.linux;
maintainers = with maintainers; [ aepsil0n ];
maintainers = with maintainers; [ edibopp ];
};
}

View File

@ -21,6 +21,6 @@ buildPythonPackage rec {
homepage = "https://github.com/python-parsy/parsy";
description = "Easy-to-use parser combinators, for parsing in pure Python";
license = [ licenses.mit ];
maintainers = with maintainers; [ aepsil0n ];
maintainers = with maintainers; [ edibopp ];
};
}