NOTICE: Gitolite migration is complete.

Herbert Valerio Riedel hvr at
Tue Aug 13 16:23:42 CEST 2013

Hello Edward,

On 2013-08-13 at 15:39:20 +0200, Edward Z. Yang wrote:
> What happened to the libraries repositories?

They are still there, but only in the /packages directory (as declared
in the 'packages' file in the remotepath columns, see also [1]); you
need to run

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

with a recent version of 'sync-all' which contains [2], then that should
be taken care of automatically.



More information about the ghc-devs mailing list