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

Answer 2

I don't know PHPStorm, but a normal git push <remote> <branch> at the command line won't pickup tags. You need to issue either:

git push <remote> --tags ;# push all tags
git push <remote> <tag> ;# push one tag

Again, I can't speak to PHPStorm, but this operation is quite easy from the command line.

Answer 3

You cannot do it. But you can join a request in here http://youtrack.jetbrains.com/issue/IDEA-77483 The only possibility is command line and git push –tags