git push from project diff dialog?

[redcar]

I use the git integration every day, and my normal workflow involves using the compare project to repository dialog, diffing the changed files to check for errors, then selecting the changed files and using the commit button to commit them.

I think that it would be a good idea to have a push to repository button on the compare project page after completing a commit.  At present, I have to close the dialog and go back to the menu to open the push dialog.

[Dan]

I thought about this.  I think the main reason I did not do it because my workflow usually winds up being commit>pull>build>test (again)>push. 

Also, it would have to be a "global" button, since you can push without committing everything.  Most of the buttons on that dialog are re-purposed depending on what what is selected.  So it would be kind of far out to the right.

I will add a feature request for a button.