I have a repository in GitHub and I need to tag it. I tagged in a shell, but on GitHub, it is not showing up.
Do I have to do
You just have to push the tag after you run the git tag 2.0 command.
git tag 2.0
So just do git push --tags now.
git push --tags