simplify gerrit push

diff --git a/.bin/r b/.bin/r
index d0a4f0fa7d1254602957d2cc7c7d51b1d1c77964..d350c882b0d5dbe86acbd44ec2b167b59c6795e4 100755 (executable)
--- 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 <branch>"
-               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