[jbosstools-dev] create github pull-requests in Eclipse