/home is full on dev.laptop.org

[Guillaume Desmottes]

Hi,

Don't know what the right person to inform but /home is full on
dev.laptop.org, making git push impossible.

guillaume at crank:~$ df -h
Filesystem            Size  Used Avail Use% Mounted on
/dev/cciss/c0d0p5     9.2G  3.5G  5.7G  39% /
varrun                2.4G   88K  2.4G   1% /var/run
varlock               2.4G     0  2.4G   0% /var/lock
udev                  2.4G   56K  2.4G   1% /dev
devshm                2.4G     0  2.4G   0% /dev/shm
/dev/cciss/c0d0p6     1.1T  1.1T     0 100% /home
/dev/cciss/c0d0p3     957M   34M  924M   4% /tmp
/dev/cciss/c0d0p2     957M  309M  649M  33% /var/log



	G.