How to push tags to remote git repository with PHPStorm?
git, phpstorm
Solution
It's in the "Push Commits" dialog
VCS | Git | Push → ☑ Push Tags
See: Jetbrains Ticket IDEA-77483 - GIT "Push tags" missing from push dialog
Problem
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".