Practical Git Commands

 Revert Git Repo to a previous Tag:

    1. reset to a tag named reset-to-here

    git reset --hard reset-to-here

    2. push your change to the remote forcing by +

    git push origin +main

 

Push Tag to Remote: 

To push a single tag:

git push origin tag <tag_name>

And the following command should push all tags (not recommended):

# not recommended
git push --tags