chiark / gitweb /
Actually report "no such host" errors properly