Am Montag, den 10.07.2017, 16:31 +0200 schrieb Sven Panne:
> You can happily move around any cloned repository, Git has absolutely
> no problem with that. What often breaks is some imperfect tooling on
> top of Git itself, which might be the case here.

I found that this is not true for git modules, which can be very
annoying; see https://stackoverflow.com/a/11298947/946226 [...]