database/doris
2
0
Fork 0
Code Issues Pull Requests Actions 3 Packages Projects Releases Wiki Activity

fix pick_pr.sh push_id (#31041)

Browse Source
This commit is contained in:
yujun
2024-02-19 14:03:49 +08:00
committed by yiguolei
parent b3ac2128dd
commit ed30b658bb
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
tools/pick_pr.sh
View File

@ -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}')