How to push to master from developer without switching branches?

Question

git

There are two branches. develop and master. I (and others) work with develop. Push to master = release to production. No left commits go to the master. Only fast-forward margin with develop.
The problem is that in order to post the slightest edit, I have to:

1. first update develop and resolve conflicts, push your changes
   
2. switch to master
   
3. do pull updates
   
4. do merge develop
   
5. push origin master
   

The last 4 points take a lot of time. Is it possible to put develop immediately on origin:master with some command, without switching.

Answer 1

Why didn't you like a simple push?
git push repo local:remote
git push origin develop:master