Hi Miklos,

Yes, coreboot's gerrit system is likely where the review will take place. The github repository is a mirror of coreboot's flashrom repository, however we recognize that a lot of people do development on github so we work with pull requests as well. We also still have patch submissions via e-mail.

You may receive comments to your pull request on github, however if the patch is small enough (like PR33) then it might just be sent directly to review.coreboot.org for final review before being merged and ultimately mirrored in the github repo.

As usual the bottleneck is the amount of spare time reviewers have and we've been juggling some large changes lately. We do appreciate the contributions, and please feel free to nudge us if there is urgency or if things simply linger for too long.