Git: Add push options
Add a new menu entry in the contextual menu of the Git plugin: "Advanced push" (probably not the best name, suggestions for a better one are welcome)
This new option allows to push to a custom remote or branch, to set the remote tracking branch, and to force push.