git remove tag from remote
git push --delete origin tagname
# Add tags
git tag tagName
# Push tags
git push --follow-tags
# Delete locally
git tag -d tagName
# Delete remote tag:
git tag -d tagName
git push origin :tagNamegit push --delete origin tagnamegit push origin :tagname
Also in Shell:
- IP adress terminal
- luminati proxy manager
- git log one line
- git bash set global username and password
- install pybind ubuntu
- pytorch anaconda install windows
- how to install specific package version npm
- free port in linux
- long term projects for java learners
- git config --global credential.helper osxkeychain
- pull old version git
- conda install keras
- install ansible in redhat
- linux install pip
- Unexpected end of JSON input while parsing near '...reate-hmac-1.1.2.tgz"'
- ubuntu add public key to server
- lstinputlisting excluse lines
- how to revert commit in git
- install opencv
- install pip3
- mount: cdrom: failed to setup loop device for
- shell get size of directory
- checking if a substring exists in a string bash
- fork and branch workflow