diff options
| -rw-r--r-- | Documentation/community/code_of_conduct.md | 1 | ||||
| -rw-r--r-- | Documentation/infrastructure/builders.md | 2 | ||||
| -rw-r--r-- | Documentation/infrastructure/coverity.md | 2 |
3 files changed, 1 insertions, 4 deletions
diff --git a/Documentation/community/code_of_conduct.md b/Documentation/community/code_of_conduct.md index d40dafe031..e1f512877e 100644 --- a/Documentation/community/code_of_conduct.md +++ b/Documentation/community/code_of_conduct.md @@ -117,7 +117,6 @@ communications pertaining to community business. Our arbitration team consists of the following people * Stefan Reinauer <stefan.reinauer@coreboot.org> (USA) -* Patrick Georgi <patrick@coreboot.org> (Germany) * Ronald Minnich <rminnich@coreboot.org> (USA) * Martin Roth <martin@coreboot.org> (USA) diff --git a/Documentation/infrastructure/builders.md b/Documentation/infrastructure/builders.md index b200140ed5..133b2d4e2a 100644 --- a/Documentation/infrastructure/builders.md +++ b/Documentation/infrastructure/builders.md @@ -23,8 +23,6 @@ as the system can just be disabled until someone is available to fix any issues. Currently active Jenkins admins: -* Patrick Georgi: - * Email: [patrick@coreboot.org](mailto:patrick@coreboot.org) * Martin Roth: * Email: [gaumless@gmail.com](mailto:gaumless@gmail.com) * IRC: martinr diff --git a/Documentation/infrastructure/coverity.md b/Documentation/infrastructure/coverity.md index 3034d50e74..ebc0782fbd 100644 --- a/Documentation/infrastructure/coverity.md +++ b/Documentation/infrastructure/coverity.md @@ -100,4 +100,4 @@ are discovered and go unnoticed in a later build. More projects that are hosted on review.coreboot.org (potentially as a mirror, like vboot and EC) could be served through that pipeline. Reach -out to {stepan,patrick,martin}@coreboot.org. +out to {stepan,martin}@coreboot.org. |