won't need this

old-commit-hash: 4c424eb4b0
2024-03-18 22:13:47 -07:00 · 2024-03-18 22:13:47 -07:00 · dd1bdc9a09
parent 5f3960a3a7
commit dd1bdc9a09
1 changed files with 0 additions and 16 deletions
--- a/release/verify.sh
+++ b/release/verify.sh
@ -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