Ben

What does this mean? (below) Does it mean you have not pushed something to the haddock repo>

This happens when I’m on branch  wip/T9858-typeable-ben2, in the main repo

Simon

git submodule update

fatal: reference is not a tree: 289ef817aad02c341beb6d4c28ba0495872f5a0f

Unable to checkout '289ef817aad02c341beb6d4c28ba0495872f5a0f' in submodule path 'utils/haddock'

simonpj@cam-05-unx:~/code/HEAD-2$