diff options
Diffstat (limited to 'Documentation/infrastructure')
| -rw-r--r-- | Documentation/infrastructure/builders.md | 2 | ||||
| -rw-r--r-- | Documentation/infrastructure/coverity.md | 2 |
2 files changed, 1 insertions, 3 deletions
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. |