How to push to git branch

Hi all,
In PhpStorm 2016.3.2 I pulled changes from one of my branches
http://imgur.com/a/5toY6

similar command
git pull origin dev4

Next I want to commit my changes, like command
git push origin dev4

but selecting Root Directory->Git->Commit Directory
http://imgur.com/a/hAydL

I have next window opened http://imgur.com/a/7KTD2

I am not sure that is similar
git push origin dev4
command I need. looks like that pushing on master and I did not find how to switch to push on dev4.

Which is the right way?

Thanks,