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)
70068 of 123539 branches covered (56.72%)
103348 of 118067 relevant lines covered (87.53%)
1591293.23 hits per line