release.sh: Don't create a new branch if already released on current branch
Ximin Luo
5 years ago
9 | 9 | |
10 | 10 | RELBRANCH="pending-$PKGNAME" |
11 | 11 | git fetch origin --prune |
12 | ||
13 | if head -n1 "$PKGDIR/debian/changelog" | grep -qv UNRELEASED-FIXME-AUTOGENERATED-DEBCARGO; then | |
14 | abort 0 "Package already released." | |
15 | fi | |
16 | ||
12 | 17 | PREVBRANCH="$(git rev-parse --abbrev-ref HEAD)" |
13 | 18 | case "$PREVBRANCH" in |
14 | 19 | pending-$PKGNAME) true;; |
23 | 28 | |
24 | 29 | if head -n1 "$PKGDIR/debian/changelog" | grep -qv UNRELEASED-FIXME-AUTOGENERATED-DEBCARGO; then |
25 | 30 | git checkout "$PREVBRANCH" |
26 | abort 0 "Package already released. If that was a mistake then run \`git branch -D $RELBRANCH\`, and re-run this script ($0 $*)" | |
31 | abort 0 "Package already released on branch $RELBRANCH. If that was a mistake then run \`git branch -D $RELBRANCH\`, and re-run this script ($0 $*)" | |
27 | 32 | fi |
28 | 33 | |
29 | 34 | ( cd "$PKGDIR" |