[git] pull dependency pull requests (#6234)

This commit is contained in:
Yakun Xu
2021-03-04 08:26:26 -08:00
committed by GitHub
parent f293d625da
commit a3e87b14fe
3 changed files with 8 additions and 10 deletions
+6 -7
View File
@@ -38,13 +38,12 @@ apply_dependencies()
project_name=$(git remote get-url origin | grep -oE '[^/:]+/[^/:]+\.git$' | cut -d. -f1)
echo "project name: ${project_name}"
depends_on_pr="$(grep -E "^Depends-On: *${project_name}" | cut -d# -f2)" || {
echo "No dependency on ${project_name} found."
return 0
}
echo "pr: #${depends_on_pr}"
git fetch --depth 1 origin "pull/${depends_on_pr}/head"
git checkout FETCH_HEAD
while read -r dependency; do
echo "${dependency}"
depends_on_pr="$(echo "${dependency}" | tr -d '\r\n' | cut -d# -f2)"
echo "pr: #${depends_on_pr}"
git pull origin "pull/${depends_on_pr}/merge"
done < <(grep -E "^Depends-On: *${project_name}" || true)
}
get_pr_body()