gitlab

Dear GHC Devs, of course it would have been too good if everything was fine - it looks like the `ghc/ghc` repo currently does not update when pushing to it. I'm hoping to resolve this. Best Magnus