diff --git a/.github/workflows/manage-prs.yml b/.github/workflows/manage-prs.yml
index 58a4bfdc..523f9a33 100644
--- a/.github/workflows/manage-prs.yml
+++ b/.github/workflows/manage-prs.yml
@@ -208,6 +208,7 @@ jobs:
           BINDIR="${{ env.ARDUINO_LINT_INSTALLATION_PATH }}" \
           sh
 
+      # actions/checkout can't be used because it only supports GitHub repos, while libraries may use other Git hosts
       - name: Clone submission
         run: |
           git clone \