Block github merge of pull requests when Sonacloud quality gate fails

Nevermind, this guide had the answer: