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
--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