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. Just my 2c, S.
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
