Re: [ET Trac] [Einstein Toolkit] #697: Repository and thorn names cannot be different

#697: Repository and thorn names cannot be different ----------------------------+----------------------------------------------- Reporter: eschnett | Owner: eric9 Type: defect | Status: new Priority: major | Milestone: Component: GetComponents | Version: Resolution: | Keywords: ----------------------------+-----------------------------------------------

Comment (by knarf):

The same trick works for git-repos that only contain one thorn (at their top level). But this is just wicked. We have to find a better solution for this.