From dd1bdc9a0984a7d60e784aea86324c3cbaee12e3 Mon Sep 17 00:00:00 2001
From: Adeeb Shihadeh <adeebshihadeh@gmail.com>
Date: Mon, 18 Mar 2024 22:13:47 -0700
Subject: [PATCH] won't need this

old-commit-hash: 4c424eb4b05836b379469d17aabd7cbef47edf2b
---
 release/verify.sh | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100755 release/verify.sh

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