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
<[email protected] <mailto:[email protected]>>:
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 <http://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
_______________________________________________
coreboot mailing list -- [email protected]
To unsubscribe send an email to [email protected]
