summaryrefslogtreecommitdiff
path: root/Documentation
diff options
context:
space:
mode:
authorPatrick Georgi <patrick@coreboot.org>2023-09-21 08:36:13 +0200
committerPatrick Georgi <patrick@coreboot.org>2023-09-24 20:55:23 +0000
commit7258a2056c3295c7badcbee0fb8fbade03fa9b4d (patch)
treeb177dc4cc791f9543d637e48f19de0aca75d61cf /Documentation
parent451abab2fdec8bb05a2b72195d4ffc1ea86759ce (diff)
Doc/infra: Update my contact information
Change-Id: If7081897d8232e3ac84de0fa76689ad05808996d Signed-off-by: Patrick Georgi <patrick@coreboot.org> Reviewed-on: https://review.coreboot.org/c/coreboot/+/78020 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Martin L Roth <gaumless@gmail.com>
Diffstat (limited to 'Documentation')
-rw-r--r--Documentation/infrastructure/builders.md3
1 files changed, 1 insertions, 2 deletions
diff --git a/Documentation/infrastructure/builders.md b/Documentation/infrastructure/builders.md
index f37fabf5b3..b200140ed5 100644
--- a/Documentation/infrastructure/builders.md
+++ b/Documentation/infrastructure/builders.md
@@ -24,8 +24,7 @@ issues.
Currently active Jenkins admins:
* Patrick Georgi:
- * Email: [patrick@georgi-clan.de](mailto:patrick@georgi-clan.de)
- * IRC: pgeorgi
+ * Email: [patrick@coreboot.org](mailto:patrick@coreboot.org)
* Martin Roth:
* Email: [gaumless@gmail.com](mailto:gaumless@gmail.com)
* IRC: martinr