git push: No space left on device

[Arkadiusz Miśkiewicz]

On 31/05/2019 11:03, Jacek Konieczny wrote:
> Hi,
> 
> Our repository seems to be misbehaving:
> 
> remote: fatal: write failure on standard output: No space left on device
> remote: error: unable to write file GxPlugins.lv2.spec
> remote: Emitting a message to the fedmsg bus.
> remote: * Publishing information for 1 commits
> remote: exim: insufficient disk space
> remote: Error in hook  hooks/post-receive.python.d/slug_hook.py
> remote: [Errno 28] No space left on device
> 
> Jacek
> _______________________________________________
> pld-devel-en mailing list
> pld-devel-en at lists.pld-linux.org
> http://lists.pld-linux.org/mailman/listinfo/pld-devel-en
> 

/dev/sda3           ext3       16G   15G     0 100% /


# du -sh /var/lib/docker/
7.5G	/var/lib/docker/

no clue whats is this docker for there.


Deleted few things - now it's 1.4GB free.

-- 
Arkadiusz Miśkiewicz, arekm / ( maven.pl | pld-linux.org )