RE: Gitlab is stuck

19 Jun 2020

      All good now?

|  -----Original Message-----
|  From: Ben Gamari 
|  Sent: 19 June 2020 14:37
|  To: Simon Peyton Jones ; GHC developers 
|  Subject: 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