chiark / gitweb /
build: stop git from waiting forever at username/password prompts