Git: Rename push enum values

Change-Id: I2809096774882ba1e7e98e2805ad94f03a70dbdc
Reviewed-by: Orgad Shaneh <orgads@gmail.com>
This commit is contained in:
Petar Perisin
2013-10-02 09:40:08 +03:00
committed by Orgad Shaneh
parent 13a0b348be
commit 6cf030d8d3
4 changed files with 12 additions and 12 deletions

View File

@@ -1123,9 +1123,9 @@ bool GitPlugin::submitEditorAboutToClose()
}
if (m_gitClient->checkCommandInProgress(m_submitRepository) == GitClient::NoCommand) {
if (editor->panelData().pushAction == CommitAndPush)
if (editor->panelData().pushAction == NormalPush)
m_gitClient->push(m_submitRepository);
else if (editor->panelData().pushAction == CommitAndPushToGerrit)
else if (editor->panelData().pushAction == PushToGerrit)
connect(editor, SIGNAL(destroyed()), this, SLOT(delayedPushToGerrit()));
}