Attention is currently required from: Paul Menzel. Patrick Georgi has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/62666 )
Change subject: Documentation: Describe our Coverity Scan integration ......................................................................
Patch Set 2:
(8 comments)
File Documentation/infrastructure/builders.md:
https://review.coreboot.org/c/coreboot/+/62666/comment/aec0464f_dc6acf90 PS1, Line 64: coverity
Coverity
wasn't me, but let's fix this (and "Gerrit")
File Documentation/infrastructure/coverity.md:
https://review.coreboot.org/c/coreboot/+/62666/comment/2cbef4b4_a36ad422 PS1, Line 10: Coverity Scan is an online service for Open Source projects : providing this analysis for free. The analysis pass is done : on their servers and issues can be handled in their web UI at : [https://scan.coverity.com/%5D(https://scan.coverity.com/).
Reflow?
That's what fmt(1) does to the paragraph, given the constraints (e.g. the "one-word" last line, so that was properly reflown.
That said, there's little reason to expose the URL like this, so reworded it, and as a side-effect, it also reflows more nicely.
https://review.coreboot.org/c/coreboot/+/62666/comment/57186486_0c393d81 PS1, Line 32: As such
As such, …
Done
https://review.coreboot.org/c/coreboot/+/62666/comment/6f6f90be_f654771e PS1, Line 35: other projects
… hosted at coreboot.org.
Done
https://review.coreboot.org/c/coreboot/+/62666/comment/ea71535d_105168b1 PS1, Line 37: html
HTML
Done
https://review.coreboot.org/c/coreboot/+/62666/comment/a8021600_83b96a0e PS1, Line 41:
Link to coreboot’s scan-build page?
No. It's part of all the other links below.
https://review.coreboot.org/c/coreboot/+/62666/comment/98a47b98_72ee898e PS1, Line 47: just by parsing text files (plus all the stateful and web rest)
Dot/period at the end?
Done
https://review.coreboot.org/c/coreboot/+/62666/comment/4772844a_a2dd1baa PS1, Line 84: {stepan,patrick,martin}@coreboot.org
Could you set up an alias, so documentation does not need to be updated, if addresses or receivers c […]
I'll propose creating an "admins@" mailing list that might be the recipient. For now however, no.