Ability to push tags to remote

[webJose]

Hello again. As a user that prefers graphical tools to work with Git, I was very used to creating tags with Git Graph. In it, a handy "push to remote" checkbox existed. All I had to do was check it before creating the tag, and the tag would be pushed to the remote origin. I cannot find this option anywhere in git-log--graph.

If the option doesn't exist, may I ask the option be added?

Many thanks!

[phil294]

Makes sense to add.

For now, just like in #87, you can already add this feature by yourself though without waiting for an update: In the tag creation popup, edit the args field and replace tag "$1" "$2" --message "$3" --annotate with -v && _1="$1" && git tag "$_1" "$2" --message "$3" --annotate && git push origin "$_1", then click Save.

Alternatively, you can push a branch and toggle the --tags option.

And finally, there should also be a "push tag" action that one can invoke manually after creating a tag. For now, you can also add this yourself:

    "git-log--graph.actions.tag": [{
        "title": "Push",
        "icon": "fold-up",
        "args": "push \"$1\" \"$2\"",
        "params": ["origin", "{TAG_NAME}"]
    }]

further notes to myself:

a "Delete (remote)" action for tags is also missing, and an indicator if a tag is remote or not, and "{REMOTE}" is missing as a dynamic param in tag actions

[phil294]

Implemented with version 0.1.15: There is no push option while creating a tag, but you can now right click a tag and do a "Push". So running two separate actions is necessary. This is worse than what the other Git Graph extension does but combining it would be unfortunately rather annoying to implement... unsure about this so far

[phil294]

Also there's now a "Delete (Remote)" action