From: Mike Frysinger Date: Tue, 31 Jul 2012 20:59:39 +0000 (-0400) Subject: simplify gerrit push X-Git-Url: https://git.wh0rd.org/?a=commitdiff_plain;h=a7fa11f7fca5dac59062c32424d7f743bb585217;p=home.git simplify gerrit push --- diff --git a/.bin/r b/.bin/r index d0a4f0f..d350c88 100755 --- a/.bin/r +++ b/.bin/r @@ -107,12 +107,7 @@ sb-push) ;; g-push) # For the times when repo is being stupid, push directly to gerrit myself. - shift - if [[ $# -ne 1 ]] ; then - echo "Usage: r g-push " - exit 1 - fi - exec g push cros-internal HEAD:refs/for/master + exec git push origin HEAD:refs/for/master ;; sync) [[ $# -eq 0 ]] && set -- -j16