feat: support PROXY_HOST/PROXY_PORT

bin/gpr

@@ -4,6 +4,10 @@ set -e
 # github pr helper
 # push current branch to ORIGIN and create a PR on UPSTREAM
 # UPSTREAM must be a https github url 
+if [ -n "$PROXY_HOST" ] && [ -n "$PROXY_PORT" ]; then
+    export HTTPS_PROXY=http://$PROXY_HOST:$PROXY_PORT
+fi
+echo $HTTPS_PROXY
 
 BRANCH=$(git branch --show-current)
 UPSTREAM_BRANCH=$(git remote show upstream | grep -oP 'HEAD branch: \K\w+')