chiark / gitweb /
is_https hook: rename from check_https