Just a collection of git commands to have quick look when brain stops working.
1. Move back branch to earlier commit
git checkout [branch name]
git reset --hard [commit hash to revert branch to]
git push -f
2. Remove git tag from remote
delete tag from local.
git tag -d [tag name]
delete tag from remote
git push origin :refs/tags/[tag name]
3. Never collide tag name with branch name
4. Broken tag reference could break Jenkins pipeline, forcing us to delete the tag as a quick fix. (still looking for better solution through Jenkins)
Let me know if you have interesting short notes or answers :)
1. Move back branch to earlier commit
git checkout [branch name]
git reset --hard [commit hash to revert branch to]
git push -f
2. Remove git tag from remote
delete tag from local.
git tag -d [tag name]
delete tag from remote
git push origin :refs/tags/[tag name]
3. Never collide tag name with branch name
4. Broken tag reference could break Jenkins pipeline, forcing us to delete the tag as a quick fix. (still looking for better solution through Jenkins)
Let me know if you have interesting short notes or answers :)