Changes in scripts/do-release [01846ce:d771d1b]

File:

• scripts/do-release (modified) (1 diff)

scripts/do-release

@@ -31 +31 @@
 if [ ! "$force" ] && [ "$VERS" != "$(head -1 ChangeLog)" ]; then
     die "No ChangeLog entry for version $VERS, aborting."
+fi
+
+head=$(git symbolic-ref HEAD)
+head=${head#refs/heads/}
+
+git rev-parse --verify -q $head >/dev/null 2>&1
+git rev-parse --verify -q origin/$head >/dev/null 2>&1
+if [ -n "$(git rev-list $head..origin/$head)" ]; then
+    die "$head is not up to date. Aborting."
 fi