6 Jan
2019
6 Jan
'19
9:34 p.m.
Am Sa., 5. Jan. 2019 um 22:18 Uhr schrieb Ben Gamari <ben@smart-cactus.org>: 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