I'd like to get up to speed on the push process.  I'm not in a hurry. I'll start reading up on Gerritt but if there are any specific pointers, by all means let me know.

Regards,

Jeremy

On 2020-06-02 12:13 p.m., Patrick Georgi wrote:
Am Di., 2. Juni 2020 um 17:50 Uhr schrieb Jeremy Jackson <jerj@coplanar.net>:
Below is a patch that does what I want for one of the points I
mentioned.  Comments?  Does this interfere with a different use case?
I'd say that change is reasonable. Care to push it to review.coreboot.org or should somebody else (e.g. I) take over? 


Patrick
--
Google Germany GmbH, ABC-Str. 19, 20354 Hamburg
Registergericht und -nummer: Hamburg, HRB 86891, Sitz der Gesellschaft: Hamburg
Geschäftsführer: Paul Manicle, Halimah DeLaine Prado