4 commits

Author	SHA1	Message	Date
Earl Warren	a23de662eb	chore(ci): set the milestone when a pull request is closed (take 4) ... The milestone can only be determined to be final when a pull request is merged. It is possible that a pull request is opened during the development of v10 and merged after it is published. It is also possible that it is permanently closed without being merged. (cherry picked from commit 6f53f7d007)	2024-12-10 06:21:21 +00:00
Earl Warren	7259d3b73f	chore(ci): set the milestone when a pull request is open (take 3) ... pull_request_target runs from the target branch, not the default branch (cherry picked from commit bf9e19cc21)	2024-12-09 22:56:13 +00:00
Earl Warren	abd626eca7	chore(ci): set the milestone when a pull request is open (take 2) ... Use the oci:ci image to get jq (cherry picked from commit ebfe702df6)	2024-12-09 17:43:20 +01:00
Earl Warren	4164e907e6	chore(ci): set the milestone when a pull request is open ... (cherry picked from commit 1f18d8d677)	2024-12-09 16:17:28 +00:00