Paul Kofmann crtlib

## delete_tags.sh
#!/bin/bash

set -e

if [ -z $1 ] ; then
    echo "The first param should be the remote's name"
    exit 1
fi

git push --delete $1 $(git ls-remote --tags $1 | awk '{print $2}')
	#!/bin/bash

	set -e

	if [ -z $1 ] ; then
	echo "The first param should be the remote's name"
	exit 1
	fi

	git push --delete $1 $(git ls-remote --tags $1 \| awk '{print $2}')