[PATCH] Documentation for git-clone-dumb-http.

diff --git a/git-log-script b/git-log-script
index feca5e9b7c86b1aaa5903f1c2ca3afde09531c7b..5716b29941bb5c005d0de63f916708a3fc774e01 100755 (executable)
--- a/git-log-script
+++ b/git-log-script
@@ -1,2 +1,4 @@
 #!/bin/sh
+revs=$(git-rev-parse --revs-only --no-flags --default HEAD "$@") || exit
+[ "$revs" ] || die "No HEAD ref"
 git-rev-list --pretty $(git-rev-parse --default HEAD "$@") | LESS=-S ${PAGER:-less}