Shell

# You can delete a remote tag the same way that you delete a remote branch.
git push origin :1.1
# And delete your local tag with:
git tag -d 1.1

PREVIOUS	NEXT

Code Example
Shell :: copy first n files linux
Shell :: ubuntu libqt4
Shell :: let latest commit hash
Shell :: use github.com/stretchr/testify/assert
Shell :: how to reset git branch to a certain commit.
Shell :: phpinfo cli
Shell :: awk first upper
Shell :: Got socket error trying to find package cupertino_icons at https://pub.dartlang.org.
Shell :: mac tftp server directory
Shell :: git diff without change mode
Shell :: conda install pyav
Shell :: install qtpy
Shell :: osx add user to group
Shell :: Export SSH Auth Key
Shell :: remove ciso umbrella
Shell :: install pip in pyenv
Shell :: install sdl msys2
Shell :: ubuntu install brew
Shell :: deploy github actions with firebase
Shell :: gvm not generated password
Shell :: how to install jupyterlab
Shell :: list threads in process ubuntu
Shell :: git merge commit from branch
Shell :: sed tab to space
Shell :: github
Shell :: create a new branch from existing branch in git
Shell :: install phpstan laravel
Shell :: env file added to gitignore but git still tracking it
Shell :: copy first 100 lines from a file linux
Shell :: keytool check for keys in keystore