Community
Participate
Working Groups
1.1.0.201109151100-r. Delete Repository including repository content leaves empty repository folder (with the name of the deleted repository). Expected: empty folder named like the deleted repository should also be deleted.
Created attachment 217347 [details] Fix Attaching a patch to be used once 'master' is open for business again. The patch only deletes the working directory if it is really empty.
Pushed fix to Gerrit for review: https://git.eclipse.org/r/8861
Merged: https://git.eclipse.org/c/egit/egit.git/commit/?id=128dd5a7623f83ec1e3e8b3f2f4b851c71dfbe49
Verified in 2.2.0.201211270014.