Re: Gitlab is stuck

Simon Peyton Jones via ghc-devs writes:

Something is badly wrong with gitlab. I'm trying to push a branch. Is some disk full? I am fully stalled.

I am rebooting the machine; indeed something is amiss here. Cheers, - Ben