push
github
tools: update gen-release-notes wording Fix a couple of mistakes in the script output reported by the Doc team. NO_DOC=tooling NO_TEST=tooling NO_CHANGELOG=tooling (cherry picked from commit f8bd2b544)
63550 of 114904 branches covered (55.31%)
94488 of 109745 relevant lines covered (86.1%)
1899337.18 hits per line