4 commits

Author	SHA1	Message	Date
Earl Warren	6f53f7d007	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.	2024-12-09 23:49:33 +01:00
Earl Warren	bf9e19cc21	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	2024-12-09 17:49:54 +01:00
Earl Warren	ebfe702df6	chore(ci): set the milestone when a pull request is open (take 2) ... Use the oci:ci image to get jq	2024-12-09 17:01:35 +01:00
Earl Warren	1f18d8d677	chore(ci): set the milestone when a pull request is open	2024-12-09 16:23:14 +01:00