From ed30b658bb186bb409e3a152a6d9161a7c442b5f Mon Sep 17 00:00:00 2001 From: yujun Date: Mon, 19 Feb 2024 14:03:49 +0800 Subject: [PATCH] fix pick_pr.sh push_id (#31041) --- tools/pick_pr.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/tools/pick_pr.sh b/tools/pick_pr.sh index 52945cfd56..9a2b64495a 100755 --- a/tools/pick_pr.sh +++ b/tools/pick_pr.sh @@ -40,9 +40,10 @@ remote_to=$(echo "${branch_to}" | awk -F/ '{print $1}') push_remote=$3 push_url=$(git remote get-url --push "${push_remote}") # https://github.com/your_name/doris.git -push_url=$(echo "${push_url}" | sed 's|^https://github.com/||') +# https://token@github.com/your_name/doris.git +push_url=$(echo "${push_url}" | sed 's|^https://.*github.com/||') # git@github.com:your_name/doris.git -push_url=$(echo "${push_url}" | sed 's|^git@github.com:||') +push_url=$(echo "${push_url}" | sed 's|^git@.*github.com:||') # get your_name push_id=$(echo "${push_url}" | awk -F/ '{print $1}')