tagme: Do not use git push --tags

Authored by kfunk on Mar 7 2019, 7:25 AM.

Description

tagme: Do not use git push --tags

Summary:
It's dangerous, as it will push all local tags. Getting rid off unwanted
tags on the remote is not the best type of work to start your day...

Use git push origin <tag_name> instead, which will only push the
desired tag.

As has happened in kdevelop.git

Reviewers: O2 releaseme, sitter, bcooksley

Reviewed By: O2 releaseme, sitter

Differential Revision: https://phabricator.kde.org/D19578

Details

Committed
kfunkMar 7 2019, 10:23 AM
Reviewer
Restricted Owners Package
Differential Revision
D19578: tagme: Do not use git push --tags
Parents
R572:ad46f0973801: update git repos
Branches
Unknown
Tags
Unknown