From 6f53f7d0075adec1a136bcdbb388b5f45730858b 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.
---
 .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'