I probably did this incorrectly.
I made some changes to a git repository and committed these successfully, pushing them to the central repository. I realise now that I want to tag the current version of all files. So I do:
git tag -a 0.5
That succeeds. But now I try a git push and I am told there's nothing to commit. How do I push my new tag to the central repository?
(Note that 'git tag' shows the tag 0.5, but only locally)