[jbosstools-issues] [JBoss JIRA] (JBIDE-12812) Provide user-friendly way to increase Git timeout