Fix companion check (#8464)

This commit is contained in:
Bastian Köcher
2021-03-26 15:59:05 +01:00
committed by GitHub
parent e7cd48767a
commit 3e64293bd4
@@ -58,6 +58,12 @@ boldprint "companion pr: #${pr_companion}"
# check the status of that pull request - needs to be
# approved and mergable
curl -H "${github_header}" -sS -o companion_pr.json \
${github_api_polkadot_pull_url}/${pr_companion}
pr_head_sha=$(jq -r -e '.head.sha' < companion_pr.json)
boldprint "Polkadot PR's HEAD SHA: $pr_head_sha"
curl -H "${github_header}" -sS -o companion_pr_reviews.json \
${github_api_polkadot_pull_url}/${pr_companion}/reviews
@@ -79,12 +85,6 @@ fi
boldprint "polkadot pr #${pr_companion} state APPROVED"
curl -H "${github_header}" -sS -o companion_pr.json \
${github_api_polkadot_pull_url}/${pr_companion}
pr_head_sha=$(jq -r -e '.head.sha' < companion_pr.json)
boldprint "Polkadot PR's HEAD SHA: $pr_head_sha"
if jq -e .merged < companion_pr.json >/dev/null
then
boldprint "polkadot pr #${pr_companion} already merged"