Re: Remote unpack error when trying to push

2020-12-09 Thread Dr Paul Dale
Richard has fixed the space problem. PRs can be merged again. Pauli -- Dr Paul Dale | Distinguished Architect | Cryptographic Foundations Phone +61 7 3031 7217 Oracle Australia > On 9 Dec 2020, at 7:41 pm, Dr Paul Dale wrote: > > I can confirm that there is a disc full no the machine. >

Re: Remote unpack error when trying to push

2020-12-09 Thread Dr Paul Dale
I can confirm that there is a disc full no the machine. I’m not confident I can safely fix it — it was the first time I’ve logged in to it. Pauli -- Dr Paul Dale | Distinguished Architect | Cryptographic Foundations Phone +61 7 3031 7217 Oracle Australia > On 9 Dec 2020, at 7:00 pm, Tomas

Remote unpack error when trying to push

2020-12-09 Thread Tomas Mraz
It seems we are out of space or there is other similar problem on git.openssl.org. Pushing to openssl-...@git.openssl.org:openssl.git Enumerating objects: 7, done. Counting objects: 100% (7/7), done. Delta compression using up to 8 threads Compressing objects: 100% (4/4), done. Writing objects: 1