#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