<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr">Hi,<div><br></div><div>I just tried to use GitLab CI to validate a GHC patch including changes to Haddock: <a href="https://gitlab.haskell.org/sjakobi/ghc/pipelines/842">https://gitlab.haskell.org/sjakobi/ghc/pipelines/842</a></div><div><br></div><div>The problem is that the CI script tries to find my Haddock commit at <a href="https://gitlab.haskell.org/ghc/haddock">https://gitlab.haskell.org/ghc/haddock</a>. But that repo doesn't even allow merge request.</div><div><br></div><div>Should the submodule origin for util/haddock maybe point at <a href="https://github.com/haskell/haddock">https://github.com/haskell/haddock</a> instead?</div><div><br></div><div>Cheers,</div><div>Simon</div></div></div></div></div>