base_rev="$(git rev-parse --short --verify "refs/top-bases/$name" 2>/dev/null)" ||
die "not a TopGit-controlled branch"
base_rev="$(git rev-parse --short --verify "refs/top-bases/$name" 2>/dev/null)" ||
die "not a TopGit-controlled branch"
header="$(sed -e '/^$/,$d' -e "s,','\\\\'',g" "$patchfile")"
header="$(sed -e '/^$/,$d' -e "s,','\\\\'',g" "$patchfile")"