Back

Some Useful Git Commands

Push a tag to remote


                git push origin 

                # not recommended
                git push --tags
                

See more: push a tag to a remote

Tag to older commit


                git tag v1.2 9fceb02

                # with message 
                git tag -a v1.2 9fceb02 -m "Message here"
                

See more: push a tag to a remote

Forget deleted branches


                git remote prune origin
                

See more: push a tag to a remote