delete all git tags locally and remotely with exclusion list

gistfile1.txt

for t in `git tag`
do
  arr=("keep_this" "keep_that" "and this")
  if [[ "${arr[@]}" =~ ${t} ]]; then
    echo keeping $t
  else
    git push origin :$t
    git tag -d $t
  fi
done