<div dir="ltr">Congrats Ben and co! This is a huge step forwards.<br><br><div class="gmail_quote"><div dir="ltr">On Thu, 27 Dec 2018 at 06:27, Ben Gamari <<a href="mailto:ben@well-typed.com">ben@well-typed.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
    git remote set-url origin <a href="https://gitlab.haskell.org/ghc/ghc.git" rel="noreferrer" target="_blank">https://gitlab.haskell.org/ghc/ghc.git</a><br>
    git remote set-url --push origin git@gitlab.haskell.org:ghc/ghc<br>
<br>
This is all that should be necessary; a quick `git pull origin master`<br>
should verify that everything is working as expected.<br></blockquote><div><br></div><div>submodules are still pulling from <a href="http://git.haskell.org">git.haskell.org</a>, is there an easy way to fix that?</div><div><br></div><div>Cheers</div><div>Simon<br></div></div></div>