push
github
tools: do not require entrypoint in branch In practice we may want to create new branch exactly for release skipping release candidate etc. Closes #10501 NO_TEST=internal NO_CHANGELOG=internal NO_DOC=internal (cherry picked from commit 218fc46f5)
68517 of 121744 branches covered (56.28%)
101130 of 115877 relevant lines covered (87.27%)
2470030.36 hits per line