[jbosstools-dev] The Results Are in! Re: survey - on git push notifications in irc