[jboss-as7-dev] Github - notification of requests to pull changes on certain files only?