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
```