From 7258a2056c3295c7badcbee0fb8fbade03fa9b4d Mon Sep 17 00:00:00 2001 From: Patrick Georgi Date: Thu, 21 Sep 2023 08:36:13 +0200 Subject: Doc/infra: Update my contact information Change-Id: If7081897d8232e3ac84de0fa76689ad05808996d Signed-off-by: Patrick Georgi Reviewed-on: https://review.coreboot.org/c/coreboot/+/78020 Tested-by: build bot (Jenkins) Reviewed-by: Martin L Roth --- Documentation/infrastructure/builders.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'Documentation') 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 -- cgit v1.2.3