chiark / gitweb /
changedir_git_toplevel: Special error for not in git tree