Delete branches on mirror remote

clean-mirror-branches.sh

#!/usr/bin/env bash
set -eu -o pipefail

#

ORIGIN=${1:="origin"}
SUPER=${2:="super"}

#

git fetch ${ORIGIN} -p
git fetch ${SUPER} -p

#

git branch -a | grep "remotes/${ORIGIN}" | grep -v HEAD > /tmp/origin
cat /tmp/origin
cat /tmp/origin | cut -d '/' -f 3- | sort > /tmp/origin_branches
cat /tmp/origin_branches

#

git branch -a | grep "remotes/${SUPER}" > /tmp/super
cat /tmp/super
cat /tmp/super | cut -d '/' -f 3- | sort > /tmp/super_branches
cat /tmp/super_branches

#

comm -31 /tmp/origin_branches /tmp/super_branches > /tmp/branches_to_remove
cat /tmp/branches_to_remove

#

echo "About to remove $(cat /tmp/branches_to_remove | wc -l) branches from ${SUPER}"

#

cat /tmp/branches_to_remove | xargs -I{} -n1 git push ${SUPER} :{}