die "cannot delete your current branch"
nonempty=
-[ -z "$(git diff-tree "refs/top-bases/$name" "$name" | fgrep -v " .top")" ] || nonempty=1
+branch_empty "$name" || nonempty=1
[ -z "$nonempty" ] || [ -n "$force" ] || die "branch is non-empty: $name"