How to push tags to remote git repository with PHPStorm?

Question

I use PHPStorm IDE in my everyday development. It's pretty well integrated with many CVS. But when I start using git I've found that plenty of git functions are not supported. Or I just missed something. That's why I ask.

Is there any way to push tags (git push --tags) with PHPStorm?

When I run

CVS | Git | Tag Files

tag is created and I even can see it in PHPStorm git log. But it exists only locally. Nothing is pushed to remote. If I try to make Push after tag creation IDE says "Nothing to push".

Answer 1

It's in the "Push Commits" dialog

VCS | Git | Push → ☑ Push Tags

See: Jetbrains Ticket IDEA-77483 - GIT "Push tags" missing from push dialog