I am trying to switch a CI system from using a deploy branch to using a deploy tag.
When I go to gitlab, pick a commit and tag it, it's all good and the tag is available in the repository.
When I add a tag on my system:
git tag -f deploy master
I get a local tag but then I need to push it.
I read this page: How do you push a tag to a remote repository using Git?
but it left me confused since it talks about local tags, but also that pushing tags and tags that were moved seems to be different.
so my question is: how can I move the deploy tag, both locally and on the remote server, to the head, using the command line?