diff options
| author | Patrick Georgi <patrick@georgi-clan.de> | 2024-10-05 21:56:20 +0200 |
|---|---|---|
| committer | Patrick Georgi <patrick@georgi-clan.de> | 2024-10-06 12:03:08 +0000 |
| commit | 52e5e219e24e32cfd9c3c4aa8ed2f6b2eacad834 (patch) | |
| tree | 0c64a0af62c4d7f37618d061d3df473faf4d143a /Documentation/infrastructure/builders.md | |
| parent | 5052271f52c9e293edd978a20e86e78fe932585e (diff) | |
Documentation: Remove myself from various roles
I'm not doing that stuff anymore so this updates the documentation
to reflect reality.
Change-Id: I2feac471274ccfb756ca5b029ec86f2161dc2bfc
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/84673
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de>
Diffstat (limited to 'Documentation/infrastructure/builders.md')
| -rw-r--r-- | Documentation/infrastructure/builders.md | 2 |
1 files changed, 0 insertions, 2 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 |