Sonar GitHub Pull Request Integration very Chatty

This was delivered.
Disable GitHub Merge Request comments - #31 by aurelie has a lot more discussion and links about it.