[devel] Turning off Coveralls commenting on PRs?