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