git-gui: Added arbitrary branch pushing support.