git push: No space left on device

[Jacek Konieczny]

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