[jbosstools-dev] Pull requests