Publish tags that aren't yet in the remote repository

git push

git push --tags

click the source code to copy install git push on any operating system with command-not-found.com