tg-delete.sh

   1 #!/bin/sh
   2 # TopGit - A different patch queue manager
   3 # (c) Petr Baudis <pasky@suse.cz>  2008
   4 # GPLv2
   5
   6 force= # Whether to delete non-empty branch
   7 name=
   8
   9
  10 ## Parse options
  11
  12 while [ -n "$1" ]; do
  13         arg="$1"; shift
  14         case "$arg" in
  15         -f)
  16                 force=1;;
  17         -*)
  18                 echo "Usage: tg delete [-f] NAME" >&2
  19                 exit 1;;
  20         *)
  21                 [ -z "$name" ] || die "name already specified ($name)"
  22                 name="$arg";;
  23         esac
  24 done
  25
  26
  27 ## Sanity checks
  28
  29 [ -n "$name" ] || die "no branch name specified"
  30 branchrev="$(git rev-parse --verify "$name" 2>/dev/null)" ||
  31         die "invalid branch name: $name"
  32 baserev="$(git rev-parse --verify "refs/top-bases/$name" 2>/dev/null)" ||
  33         die "not a TopGit topic branch: $name"
  34 [ "$(git symbolic-ref HEAD)" != "refs/heads/$name" ] ||
  35         die "cannot delete your current branch"
  36
  37 nonempty=
  38 [ -z "$(git diff-tree "refs/top-bases/$name" "$name" | fgrep -v "       .top")" ] || nonempty=1
  39
  40 [ -z "$nonempty" ] || [ -n "$force" ] || die "branch is non-empty: $name"
  41
  42
  43 ## Wipe out
  44
  45 git update-ref -d "refs/top-bases/$name" "$baserev"
  46 git update-ref -d "refs/heads/$name" "$branchrev"