Jeff Remer jeffremer

## cleanup_tags.sh
export FILTER="hudson"
git ls-remote --tags origin | awk '/^(.*)(\s+)(.*[a-z0-9])$/ {print ":" $2 }' | grep $FILTER | xargs git push origin
git tag -l | grep $FILTER | xargs git tag -d
	export FILTER="hudson"
	git ls-remote --tags origin \| awk '/^(.)(\s+)(.[a-z0-9])$/ {print ":" $2 }' \| grep $FILTER \| xargs git push origin
	git tag -l \| grep $FILTER \| xargs git tag -d