However, we can certainly use the upstream repo during CI builds.
I have opened !78 which should hopefully fix this. Perhaps you could
rebase on topp of this and check?
Thanks, Ben, that works for me.
What I hadn't realized before, is that having my haddock commit in my Gitlab fork (sjakobi/haddock) apparently also makes it accessible through ghc/haddock.
What is my-branch in sjakobi/haddock is sjakobi/my-branch in ghc/haddock.
Cheers,
Simon