#697: Repository and thorn names cannot be different
Reporter:Erik Schnetter
Status:new
Milestone:
Version:
Type:bug
Priority:minor
Component:GetComponents

Comment (by Roland Haas):

While Bitbucket will still make the names of repositories all lowercase it does allow mixed case names in the (https) checkout line (and converts them to all lower case internally). Ie this

git clone https://bitbucket.org/cactuscode/Cactus.git

works to check out the https://bitbucket.org/cactuscode/cactus.git repository (lowercase “c”) and creates a directory “Cactus” with a copy of the flesh in it. The trick is still needed for @Frank Löffler ’s case of a repo with only a single thorn in its top-level directory. Eg @David Radice ’s Boost thorn https://github.com/dradice/Boost.git

--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/697/repository-and-thorn-names-cannot-be