`git push delete origin tagname` probably + rerun Pants #announce

`git push --delete origin tagname` probably + reru...

r

rough-minister-58256

05/14/2018, 6:40 PM

git push --delete origin tagname

probably + rerun?

2 Views