From add5850fe5c4756de3f38ac01070e53eef350ab2 Mon Sep 17 00:00:00 2001
From: Blue <blue@bluecode.fr>
Date: Thu, 30 Jan 2025 15:41:14 -0800
Subject: [PATCH] Checkout official repository instead of source repository in
 modern distribution CI

---
 .github/workflows/modern-distributions.yml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/modern-distributions.yml b/.github/workflows/modern-distributions.yml
index a4e95da..78c84da 100644
--- a/.github/workflows/modern-distributions.yml
+++ b/.github/workflows/modern-distributions.yml
@@ -11,11 +11,19 @@ jobs:
     permissions:
         pull-requests: write
     steps:
+        - name: Checkout official repo
+          uses: actions/checkout@v4
+          with:
+            repository: 'microsoft/WSL'
+            ref: refs/master
+            fetch-depth: 0
+
         - name: Checkout repo
           uses: actions/checkout@v4
           with:
             ref: refs/pull/${{ github.event.pull_request.number }}/merge
             fetch-depth: 0
+            path: source_repo
 
         - name: Install pip packages
           run: pip install -r distributions/requirements.txt
@@ -26,7 +34,7 @@ jobs:
             python distributions/validate-modern.py \
             --repo-path . \
             --compare-with-branch 'origin/${{ github.base_ref }}' \
-            --manifest distributions/DistributionInfo.json \
+            --manifest source_repo/distributions/DistributionInfo.json \
             --github-token '${{ secrets.GITHUB_TOKEN }}' \
             --github-pr '${{ github.event.pull_request.number }}' \
             --github-commit '${{ github.sha }}'