Git
Random Git notes.
Change Origin
git remote set-url origin <remote_url>
Delete Remote Tag
git tag -d 1.0.0
git push origin :refs/tags/1.0.0
Prune Local Branches and Tags
git fetch --prune --prune-tags
Random Git notes.
git remote set-url origin <remote_url>
git tag -d 1.0.0
git push origin :refs/tags/1.0.0
git fetch --prune --prune-tags