ci: set milestone on issues linked to PRs

Fixes apache#603.

.github/workflows/dev_pr/milestone.sh

@@ -50,6 +50,27 @@ main() {
  echo "Assigning milestone: ${milestone}"
 
  gh pr edit "${pr_number}" -m "${milestone}"
+
+ local -r repo_owner=$(echo "${repo}" | cut -d'/' -f1)
+ local -r repo_name=$(echo "${repo}" | cut -d'/' -f2)
+ local -r graphql_query="{
+ repository(owner: \"${repo_owner}\", name: \"${repo_name}\") {
+ pullRequest(number: ${pr_number}) {
+ closingIssuesReferences(first: 5) {
+ edges {
+ node {
+ number
+ }
+ }
+ }
+ }
+ }
+ }"
+ local -r linked_issues=$(gh api graphql -f query="${graphql_query}" | jq -r '.data.repository.pullRequest.closingIssuesReferences.edges | .[].node.number')
+ for issue in ${linked_issues}; do
+ echo "Linked issue: ${issue}"
+ gh issue edit "${issue}" --milestone "${milestone}"
+ done
 }
 
 main "$@"