Replace alias with real gerrit push to master

Change-Id: I10bc694113ac91783b0fdb220b977de2cd5496e1
diff --git a/bin/git_gerrit_pull b/bin/git_gerrit_pull
index 88ad49d..ab3d201 100755
--- a/bin/git_gerrit_pull
+++ b/bin/git_gerrit_pull
@@ -113,7 +113,7 @@
   _check('git commit -F ' . $msg_file . ' --amend');
 };
 
-_check('git-gerrit');
+_check('git push origin HEAD:refs/for/master');
 
 _check('git checkout master');
 _check('git branch -D ' . $branch);