Skip to content

Git: Add push options

José Millán Soto requested to merge millansoto/kdevelop:advanced-push into master

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.

Merge request reports