Hi Gabor, On Wed, Jul 31, 2013 at 12:52:48PM +0200, Gabor Greif wrote: > > who is in charge of setting up the repo mirror on https://github.com/ghc/ ? I'm afraid I have no idea. Thanks Ian -- Ian Lynagh, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/