150
150
_github_api_pr_url="https://api.github.com/repos/$_pr_repo/pulls/$_pr_num"
151
151
_pr_label=$(curl $_github_api_pr_url | \
152
152
awk '/"head":/ {getline; gsub(/"|,/, ""); print $2}')
153
155
export GITHUB_PR_LOGIN=$(echo $_pr_label | cut -f1 -d:)
154
156
export GITHUB_PR_BRANCH=$(echo $_pr_label | cut -f2 -d: | \