From 0647bdb5559d97fd882012f985ada2d8bb7884d1 Mon Sep 17 00:00:00 2001
From: Guillaume Ballet <3272758+gballet@users.noreply.github.com>
Date: Fri, 22 Aug 2025 12:53:08 +0200
Subject: [PATCH] comment out the milestone check

---
 .github/workflows/validate_pr.yml | 30 +++++++++++++++---------------
 1 file changed, 15 insertions(+), 15 deletions(-)

diff --git a/.github/workflows/validate_pr.yml b/.github/workflows/validate_pr.yml
index bb8af70c20..1ffccaf96a 100644
--- a/.github/workflows/validate_pr.yml
+++ b/.github/workflows/validate_pr.yml
@@ -22,20 +22,20 @@ jobs:
             
             console.log('✅ PR title format is valid');
 
-      - name: Check Milestone Assignment
-        uses: actions/github-script@v7
-        with:
-          script: |
-            // Fetch the PR data explicitly to ensure we have milestone info
-            const { data: pr } = await github.rest.pulls.get({
-              owner: context.repo.owner,
-              repo: context.repo.repo,
-              pull_number: context.payload.pull_request.number
-            });
+      # - name: Check Milestone Assignment
+      #   uses: actions/github-script@v7
+      #   with:
+      #     script: |
+      #       // Fetch the PR data explicitly to ensure we have milestone info
+      #       const { data: pr } = await github.rest.pulls.get({
+      #         owner: context.repo.owner,
+      #         repo: context.repo.repo,
+      #         pull_number: context.payload.pull_request.number
+      #       });
             
-            if (!pr.milestone) {
-              core.setFailed('PR must have a milestone assigned');
-              return;
-            }
+      #       if (!pr.milestone) {
+      #         core.setFailed('PR must have a milestone assigned');
+      #         return;
+      #       }
             
-            console.log(`✅ Milestone "${pr.milestone.title}" is assigned`);
+      #       console.log(`✅ Milestone "${pr.milestone.title}" is assigned`);