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)
This commit is contained in:
Earl Warren 2024-12-09 23:45:46 +01:00 committed by forgejo-backport-action
parent e9381b63be
commit a23de662eb

View file

@ -6,11 +6,11 @@ name: milestone
on: on:
pull_request_target: pull_request_target:
types: types:
- opened - closed
jobs: jobs:
set: set:
if: vars.ROLE == 'forgejo-coding' if: vars.ROLE == 'forgejo-coding' && github.event.pull_request.merged
runs-on: docker runs-on: docker
container: container:
image: 'code.forgejo.org/oci/ci:1' image: 'code.forgejo.org/oci/ci:1'