RE: Gitlab is stuck

Simon Peyton Jones writes:

All good now?

As noted earlier, the safe answer is "no". It appears that our storage provider is having some trouble. I'm so far unsure of whether this is a temporary problem or something more sinister. Cheers, - Ben