Hi, Am Montag, den 10.07.2017, 16:31 +0200 schrieb Sven Panne: > 2017-07-10 13:41 GMT+02:00 Wolfgang Jeltsch <wolfgang...@jeltsch.info > >: > > I renamed the local directory after cloning. If Git really cannot > > deal with this, then this is yet another reason for preferring > > darcs over Git. [...] > > > > 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 (Of course, in some sense, git modules are “imperfect tooling on top of Git”, so you are not wrong). Joachim -- Joachim Breitner m...@joachim-breitner.de http://www.joachim-breitner.de/
signature.asc
Description: This is a digitally signed message part
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs