RomanSerikov

export PATH=/usr/local/bin:$PATH
[[ -s "$HOME/.profile" ]] && source "$HOME/.profile" # Load the default .profile

[[ -s "$HOME/.rvm/scripts/rvm" ]] && source "$HOME/.rvm/scripts/rvm" # Load RVM into a shell session *as a function*


# Git status bash prompt
#
# In addition to printing the current working directory, this prompt will 

RomanSerikov

# 1. delete local tag '12345'
git tag -d 12345
# 2. delete remote tag '12345' (eg, GitHub version too)
git push origin :refs/tags/12345

# 3. alternative approach
git push --delete origin tagName
git tag -d tagName

# 4. delete many tags