push-to-pull-request: Use getopts for macOS compatibility.

Signed-off-by: Anders Kaseorg <anders@zulip.com>

tools/push-to-pull-request

@@ -26,28 +26,34 @@ See also \`reset-to-pull-request\`.
 EOF
 }
 
-args="$(getopt -o '' --long help,merge -n "$0" -- "$@")"
-eval "set -- $args"
-
 merge=
 
-while true; do
+while getopts ":-:" opt; do
-    case "$1" in
+    case $opt in
-        --help)
+        -)
-            usage
+            case "$OPTARG" in
-            exit 0
+                help)
+                    usage
+                    exit 0
+                    ;;
+                merge)
+                    merge=t
+                    ;;
+                *)
+                    echo "Invalid option: --$OPTARG" >&2
+                    exit 1
+                    ;;
+            esac
             ;;
-        --merge)
+        \?)
-            merge=t
+            echo "Invalid option: -$OPTARG" >&2
-            shift
+            exit 1
-            ;;
-        --)
-            shift
-            break
             ;;
     esac
 done
 
+shift $((OPTIND - 1))
+
 remote_default="$(git config zulip.zulipRemote || echo upstream)"
 pseudo_remote="$(git config zulip.prPseudoRemote || echo)"