github comments posted on jira

[Flavio Junqueira]

I think we should turn off the feature that posts on jira issues the comments 
we make on pull requests. It is going be pretty noisy unnecessarily. 

-Flavio