chiark / gitweb /
buildd-reboot: change shutdown time to 1 minute from 15
-rw-r--r-- 1168 .gitignore
-rw-r--r-- 362 Makefile
-rwxr-xr-x 3958 apache2-vhost-update
-rwxr-xr-x 1946 apt-in-chroot
-rwxr-xr-x 3300 buildd-reboot
drwxr-xr-x - debian
-rwxr-xr-x 2434 portforwarder-ssh-wrap
-rwxr-xr-x 378 upgrade-porter-chroots