git push: No space left on device

[Elan Ruusamäe]

On 31/05/2019 12:28, Arkadiusz Miśkiewicz wrote:
> Deleted few things - now it's 1.4GB free.

and already down by 700mb. something is continuing to eat space


```
root at 1822-cvs repositories/SPECS.git# df /
Filesystem     Type  Size  Used Avail Use% Mounted on
/dev/sda3      ext3   16G   14G  687M  96% /

```


imho /var, /var/log should be on separate partition:

```
root at 1822-cvs repositories/SPECS.git# df /var /var/log
Filesystem     Type  Size  Used Avail Use% Mounted on
/dev/sda3      ext3   16G   14G  686M  96% /
/dev/sda3      ext3   16G   14G  686M  96% /

```