Normalize urls for Git submodules
authorHerbert Valerio Riedel <hvr@gnu.org>
Fri, 9 Aug 2013 08:44:32 +0000 (10:44 +0200)
committerHerbert Valerio Riedel <hvr@gnu.org>
Fri, 9 Aug 2013 08:44:32 +0000 (10:44 +0200)
commita22e908a460ab20da006c74be4ca3fc068d461f0
treec05935e531271771818411f107c60394bd6209a8
parent3e598fe0b01f4692f50c377ac91010040227e7ce
Normalize urls for Git submodules

This changes the `/libraries/<name>.git/` suffix in the urls
to `/packages/<name>.git`. This is a minor preparation step
helping the Gitolite transition (see #8121).

See also http://permalink.gmane.org/gmane.comp.lang.haskell.ghc.devel/1713
.gitmodules