git gui: keep selected branch when remote is changed in push dialog