chiark / gitweb /
set up install/delete lists for "push" commands from server