Merge pull request #8997 from prometheus/superq/update_sync_pr

Update sync PRs
pull/8998/head
Julien Pivotto 3 years ago committed by GitHub
commit 03db36114c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -116,8 +116,10 @@ check_circleci_orb() {
process_repo() {
local org_repo
local pr_link
local default_branch
org_repo="$1"
pr_link="$2"
echo_green "Analyzing '${org_repo}'"
default_branch="$(get_default_branch "${org_repo}")"
@ -186,6 +188,10 @@ process_repo() {
git add .
git commit -s -m "${commit_msg}"
if push_branch "${org_repo}"; then
if [[ "${pr_link}" != "null" ]]; then
echo_yellow "Pull request already opened for branch '${branch}': ${pr_link}"
return 0
fi
if ! post_pull_request "${org_repo}" "${default_branch}"; then
return 1
fi
@ -205,14 +211,8 @@ for org in ${orgs}; do
fetch_repos "${org}" | while read -r repo; do
# Check if a PR is already opened for the branch.
fetch_uri="repos/${org}/${repo}/pulls?state=open&head=${org}:${branch}"
prLink="$(github_api "${fetch_uri}" --show-error | jq -r '.[0].html_url')"
if [[ "${prLink}" != "null" ]]; then
echo_green "Pull request already opened for branch '${branch}': ${prLink}"
echo "Either close it or merge it before running this script again!"
continue
fi
if ! process_repo "${org}/${repo}"; then
pr_link="$(github_api "${fetch_uri}" --show-error | jq -r '.[0].html_url')"
if ! process_repo "${org}/${repo}" "${pr_link}"; then
echo_red "Failed to process '${org}/${repo}'"
exit 1
fi

Loading…
Cancel
Save