nixpkgs/maintainers
Eduard Bopp 84b5d5dfef 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
2020-06-03 15:42:55 +02:00
..
scripts maintainers/scripts/update.nix: refactor package collector 2020-05-13 12:12:18 +02:00
maintainer-list.nix Update my GitHub username 2020-06-03 15:42:55 +02:00
team-list.nix maintainers/teams: Add php team 2020-04-29 20:08:02 +02:00