# 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...]
} || : # $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()
{
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)