rename tag in github code example

Example: rename tag git

git tag new old
git tag -d old
git push origin new :old