Proposal: Gitolite for repository management

Herbert Valerio Riedel hvr at
Wed Jul 31 11:05:44 CEST 2013

On 2013-07-31 at 03:21:48 +0200, Simon Peyton-Jones wrote:


> * I have lots of check-out repos.  Each contains lots of .git/config files 
>    because of the multi-repo nature of the GHC build system.  It would be
>    a pain to have to edit each individually.  Maybe you can tell us a sync-all
>    command to update the URL and pushurl configs, once per tree.

The following should do the trick with the current `./sync-all` for developers:

  ./sync-all -r ssh:// remote set-url origin
  ./sync-all -r ssh:// remote set-url --push origin

Non-authenticated users who have been using only the http:// urls don't
have to switch right-away (as the old uris will
continue to work), but in the long-term they'll want to update their
Git urls via

  ./sync-all -r remote set-url origin

not the least to benefit from the more efficient Git's smart http
transport[1] (should we decide to enable that on

PS: The reason I modification to `sync-all` are mentioned is because it
    contains references to the old Git urls in its emitted help texts.



More information about the ghc-devs mailing list