chiark / gitweb /
Fix broken Git repository URLs