From b30b9424176db5a617dde7bed68446fb379780e7 Mon Sep 17 00:00:00 2001
From: YAMAMOTO Takashi <yamamoto@midokura.com>
Date: Tue, 31 Mar 2020 15:08:32 +0900
Subject: [PATCH] CI: Specify this repository explicitly

So that it can be shared with other repos.
---
 .github/workflows/main.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 56526a41f24..99792aca15f 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -28,6 +28,7 @@ jobs:
     - name: Checkout nuttx repo
       uses: actions/checkout@v2
       with:
+        repository: apache/incubator-nuttx
         path: nuttx
         fetch-depth: 0