From a23de662eb728d5212e25c4171cb707f46e5616a Mon Sep 17 00:00:00 2001
From: Earl Warren <contact@earl-warren.org>
Date: Mon, 9 Dec 2024 23:45:46 +0100
Subject: [PATCH] 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 6f53f7d0075adec1a136bcdbb388b5f45730858b)
---
 .forgejo/workflows/milestone.yml | 4 ++--
 1 file 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'