Skip to content

Instantly share code, notes, and snippets.

@ziishaned
Last active February 19, 2018 06:31
Show Gist options
  • Save ziishaned/73f4eeb5ffd55855e185ac713a9e86da to your computer and use it in GitHub Desktop.
Save ziishaned/73f4eeb5ffd55855e185ac713a9e86da to your computer and use it in GitHub Desktop.
Remove a local and remote tag and push a new tag pointing to HEAD
### Remove a local tag
```bash
git tag -d <tag>
```
### Remove a remote tag
```bash
git push --delete origin <tag>
```
### Create a local tag
```bash
git tag <tag>
```
### Push the tag to Remote
```bash
git push origin <tag>
```
### One line command
```
git tag -d 1.0.0 && git tag 1.0.0 && git push --tags -f
```
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment