[PATCH] git-gui: Modify push dialog to support Gerrit review

ter usability. Works only when "usettk" is true - it is left for further study how to change the values in tk_optionMenu on the fly. Signed-off-by: Joergen Edelbo --- Hi there, We are at Napatech A/S just about to roll out a Git/Gerrit/Jenkins solution. It will really help the gui orient

[PATCH] git-gui: Modify push dialog to support Gerrit review

Problem: It is not possible to push for Gerrit review as you will always try to push to "refs/heads/..." on the remote. Changes done: Add an option to select "Gerrit review" and a corresponding entry for a branch name. If this option is selected, push the changes to "refs/for//". In this way the

[PATCH] git-gui: Modify push dialog to support Gerrit review

Problem: It is not possible to push for Gerrit review as you will always try to push to "refs/heads/..." on the remote. Changes done: Add an option in the Push dialog to select "Gerrit review" and a corresponding entry for a branch name. If this option is selected, push the changes to "refs/for//