diff --git a/release/verify.sh b/release/verify.sh
deleted file mode 100755
index ec5266bd81..0000000000
--- a/release/verify.sh
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/bin/bash
-
-set -e
-
-RED="\033[0;31m"
-GREEN="\033[0;32m"
-CLEAR="\033[0m"
-
-BRANCHES="devel release3"
-for b in $BRANCHES; do
-  if git diff --quiet origin/$b origin/$b-staging && [ "$(git rev-parse origin/$b)" = "$(git rev-parse origin/$b-staging)" ]; then
-    printf "%-10s $GREEN ok $CLEAR\n" "$b"
-  else
-    printf "%-10s $RED mismatch $CLEAR\n" "$b"
-  fi
-done