Gitlab is stuck

Ben Gamari ben at
Fri Jun 19 13:36:32 UTC 2020

Simon Peyton Jones via ghc-devs <ghc-devs at> 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.


- Ben

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <>

More information about the ghc-devs mailing list