diff options
| author | Patrick Georgi <patrick@coreboot.org> | 2023-09-21 08:36:13 +0200 |
|---|---|---|
| committer | Patrick Georgi <patrick@coreboot.org> | 2023-09-24 20:55:23 +0000 |
| commit | 7258a2056c3295c7badcbee0fb8fbade03fa9b4d (patch) | |
| tree | b177dc4cc791f9543d637e48f19de0aca75d61cf /Documentation/infrastructure/builders.md | |
| parent | 451abab2fdec8bb05a2b72195d4ffc1ea86759ce (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/infrastructure/builders.md')
| -rw-r--r-- | Documentation/infrastructure/builders.md | 3 |
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 |