title: Git push --force from IntelliJ IDEA
body: <p>It seems that the force option was removed from the pushing dialog. I am currently using IntelliJ IDEA 13.1.1 and I cannot find any way how to push with force option. I tried to search the documentation and it seems that in version 10 the force option was still there. Do you maybe know how to push with force from IntelliJ IDEA?</p>