Update my GitHub username

I recently changed the username, so this reflects that change to make
sure people find me.

For confirmation, check that the GitHub ID is still 3098430 for my new
username using the GitHub API:

https://api.github.com/users/edibopp
This commit is contained in:
Eduard Bopp 2020-06-03 15:42:55 +02:00
parent aef2bc1330
commit 84b5d5dfef
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 ];
};
}