chiark / gitweb /
git URLs for various source trees