[Feature Request]: allow to push git tags to remote

[bamaer]

What would you like to happen?

Users can create tags in the git perspective, but can't push them to remote.

Issue Priority

Priority: 2

Issue Component

Component: Hop Gui

[bamaer]

.take-issue