Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 420537

Summary:	Cannot delete a repository after cloning it (possibly Windows only)
Product:	[ECD] Orion	Reporter:	Simon Kaegi <simon_kaegi>
Component:	Git	Assignee:	Project Inbox <orion.git-inbox>
Status:	RESOLVED FIXED	QA Contact:
Severity:	normal
Priority:	P3	CC:	ken_walker, mamacdon
Version:	4.0
Target Milestone:	5.0 M1
Hardware:	PC
OS:	Windows 7
Whiteboard:

Description Simon Kaegi

2013-10-28 16:44:26 EDT

Note -- "On Windows 7!!" --Steps to reproduce:
1) Clone https://github.com/eclipse/orion.client
2) Delete it

I get an error about being unable to delete a pack file

Comment 1 Ken Walker

2013-10-28 16:46:54 EDT

In the past I have seen this on orion.e.o and orionhub I believe.

Comment 2 Simon Kaegi

2013-10-28 16:50:26 EDT

Clone URL should be -- https://github.com/eclipse/orion.client.git

Also restating the server lets you remove the repos.

Comment 3 Simon Kaegi

2013-10-28 17:16:50 EDT

We use JGit 3.0.0.201306101825-r.

Just tried with JGit 3.1.0.201310021548-r and hit the same problem

Comment 4 Simon Kaegi

2013-11-19 13:59:20 EST

Anthony fixed this.