diff options
| author | Earl Warren <contact@earl-warren.org> | 2024-12-09 23:45:46 +0100 |
|---|---|---|
| committer | Earl Warren <contact@earl-warren.org> | 2024-12-09 23:49:33 +0100 |
| commit | 6f53f7d0075adec1a136bcdbb388b5f45730858b (patch) | |
| tree | 30ef9b62acb6bf88fddeb4ef56b1089e971fbdde /.forgejo | |
| parent | Merge pull request 'chore(ci): set the milestone when a pull request is open ... (diff) | |
| download | forgejo-6f53f7d0075adec1a136bcdbb388b5f45730858b.tar.xz forgejo-6f53f7d0075adec1a136bcdbb388b5f45730858b.zip | |
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.
Diffstat (limited to '.forgejo')
| -rw-r--r-- | .forgejo/workflows/milestone.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.forgejo/workflows/milestone.yml b/.forgejo/workflows/milestone.yml index 2a2553710e..56bd7ba28d 100644 --- a/.forgejo/workflows/milestone.yml +++ b/.forgejo/workflows/milestone.yml @@ -6,11 +6,11 @@ name: milestone on: pull_request_target: types: - - opened + - closed jobs: set: - if: vars.ROLE == 'forgejo-coding' + if: vars.ROLE == 'forgejo-coding' && github.event.pull_request.merged runs-on: docker container: image: 'code.forgejo.org/oci/ci:1' |