Don't post github comment if there are no reporter errors

[shamilovtim]

The following is noisy:

The following would be less noisy if it were changed to be the comment, but it is still confusing and unnecessary for people who are unfamiliar with what it's trying to do:

Consider not posting a comment at all if the docs job completes successfully and has no warnings