How curious! Some clarification would definitely be appreciated. _ara
> On 20 Dec 2018, at 17:40, Gabor Greif <ggr...@gmail.com> wrote: > > (To: Ben added directly) > > Yes, https://gitlab.haskell.org/ghc/ghc still seems to mirror > https://:*****@git.haskell.org/ghc, so the cutover is not complete > yet. > > OTOH, the Gitlab instance allowed me to merge a request (which did not > work yesterday), so /something/ has changed. The interesting > consequence is now that > https://gitlab.haskell.org/ghc/ghc fails to sync with its master. > > Another thing missing is to redirect the github mirror > (https://github.com/ghc/ghc), too. > > Cheers, > > Gabor > >> On 12/20/18, Ara Adkins <m...@ara.io> wrote: >> Hey All, >> >> Sorry for my confusion, but I'm a bit unclear as to when we're meant to >> start working against the GHC repo on the gitlab.haskell.org instance. I >> had in mind that the cutover was intended to be the 18th, but going on >> there it still appears as if it's mirrored from git.haskell.org. Can >> somebody clarify this for me? >> >> Best, >> _ara >> _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs