chiark users' public git

These users have publicly-available git repositories here:
maintained by webmaster@chiark.greenend.org.uk; chiark home page