Convert all branches of origin matching `/v[0-9*/` to tags.

convert-to-tags.sh

branches=`git branch -a | grep 'remotes/origin/v[0-9]*$' | cut -d '/' -f 3`

echo $branches | xargs -I {} git tag {} origin/{}
git push origin --tags

echo $branches | sed 's/^/:refs\/heads\//' | xargs git push origin
git remote prune origin