[ https://issues.jboss.org/browse/JBIDE-13386?page=com.atlassian.jira.plugi... ] Nick Boldt commented on JBIDE-13386: ------------------------------------ Max, I see we have https://github.com/jbosstools/jbosstools-target-platforms but it's empty. Can you push my repo into it? Or give me access as gatekeeper? {code} git remote add origin git@github.com:jbosstools/jbosstools-target-platforms.git git push origin 4.2.0 ERROR: Permission to jbosstools/jbosstools-target-platforms.git denied to nickboldt. {code} -- This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators For more information on JIRA, see: http://www.atlassian.com/software/jira