Bug 419516 - deleting git repo gives "Nothing found for given ID..." error
Merge branch 'master' of http://git.eclipse.org/gitroot/orion/org.eclipse.orion.client