git delete tag name
git push --delete origin tagname
Also in Shell:
- laravel create model
- how to delete a non empty directory in linux
- package 'mana-toolkit' has no installation candidate
- ping a port linux
- ubuntu passwordless sudo
- git show diff in modified file
- linux version command
- join linux to ad domain
- batch delete folder
- set up git repository
- pod install ruby: bad interpreter: No such file or directory
- how to get specific lines of shell output
- ubuntu create a ssh key
- grep
- pycharm duplicate line
- create super user in django
- error: eaccess: permission denied ionic
- check disk space linux
- cuda 10 install pytorch
- ubuntu logout
- ERROR: Error installing jekyll:ERROR: Failed to build gem native
- git cancel last commit
- linux permanent mount
- mac brew: command not found