Hi, Don't know what the right person to inform but /home is full on dev.laptop.org, making git push impossible.
[EMAIL PROTECTED]:~$ 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. _______________________________________________ Devel mailing list Devel@lists.laptop.org http://lists.laptop.org/listinfo/devel