chiark / gitweb /
README: Two TODOs for tg summary
[topgit.git] / tg.sh
diff --git a/tg.sh b/tg.sh
index ae3dcda6446709183cf2f1032777f41655149a57..68967218640e519141c526b0ac49b8c0ad83377d 100644 (file)
--- a/tg.sh
+++ b/tg.sh
@@ -76,7 +76,7 @@ measure_branch()
 # Whether B1 is a superset of B2.
 branch_contains()
 {
-       [ "$(git rev-list ^"$1" "$2" | wc -l)" -eq 0 ]
+       [ -z "$(git rev-list ^"$1" "$2")" ]
 }
 
 # needs_update NAME [BRANCHPATH...]
@@ -112,6 +112,12 @@ needs_update()
        } || : # $1 is not tracked by TopGit anymore
 }
 
+# branch_empty NAME
+branch_empty()
+{
+       [ -z "$(git diff-tree "refs/top-bases/$1" "$1" | fgrep -v "     .top")" ]
+}
+
 # switch_to_base NAME [SEED]
 switch_to_base()
 {
@@ -148,7 +154,7 @@ shift
 
 case "$cmd" in
 help)
-       echo "TopGit - A different patch queue manager"
+       echo "TopGit v0.1 - A different patch queue manager"
        echo "Usage: tg (create|delete|info|patch|summary|update|help) ..."
        exit 1;;
 create|delete|info|patch|summary|update)