On Fri, 20 May 2016, David Griffith wrote: > On Thu, 19 May 2016, Martin Roth wrote: > >> -coreboot mailing list >> >> Everyone with a coreboot gerrit account automatically has the rights >> to push, but you may need to configure some things. Sorry, that was supposed to be private. -- David Griffith dave at 661.org