commit | 0e9e5f59e1db9e3a2d0ea7b1f8392ca428539499 | [log] [tgz] |
---|---|---|
author | Akron <nils@diewald-online.de> | Wed Nov 23 09:47:47 2022 +0100 |
committer | Akron <nils@diewald-online.de> | Wed Nov 23 09:47:47 2022 +0100 |
tree | f2250d3bb6a4d87238a5c4df7b11227e498f84a1 | |
parent | 39dae910fd4e67dee1202828ef8b7cf2ff0ac771 [diff] [blame] |
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);