[jbosstools-issues] [JBoss JIRA] (JBIDE-10398) OpenShift Express : Can not delete git project

OpenShift Express : Can not delete git project ---------------------------------------------- Key: JBIDE-10398 URL: https://issues.jboss.org/browse/JBIDE-10398 Project: Tools (JBoss Tools) Issue Type: Bug Components: UpStream Affects Versions: 3.3.0.M5 Environment: windows 7 (most likely all windows flavors) Reporter: Fred Bricon Assignee: Andre Dietisheim Priority: Minor Fix For: 3.3.0.CR1 Attachments: openshift.ogv Whenever I try to physically delete my openshift project from the workspace, I get a popup with the following errors : {noformat} Problems encountered while deleting resources. Could not delete '/hello/.git'. Problems encountered while deleting resources. Problems encountered while deleting files. Could not delete: C:\Users\Fred Bricon\git\hello\.git\objects\pack\pack-10eb864ff7ab3a1edfc8b868c90a743fdee571db.pack. Could not delete: C:\Users\Fred Bricon\git\hello\.git\objects\pack. Could not delete: C:\Users\Fred Bricon\git\hello\.git\objects. Could not delete: C:\Users\Fred Bricon\git\hello\.git. Could not delete 'C:\Users\Fred Bricon\git\hello'. {noformat}