Potential fix for pull request finding

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>

Author: decyjphr

lib/settings.js

@@ -787,10 +787,16 @@ class Settings {
       // Resolve repos targeted by the old config
       const previouslyTargetedRepos = new Set()
 
-      // 1. suborgrepos: glob patterns (these are repo name patterns)
+      // 1. suborgrepos: resolve glob patterns to concrete repo names
       if (previousData.suborgrepos && Array.isArray(previousData.suborgrepos)) {
+        const allRepos = await this.github.paginate('GET /installation/repositories')
         for (const repoPattern of previousData.suborgrepos) {
-          previouslyTargetedRepos.add(repoPattern)
+          const glob = new Glob(repoPattern)
+          for (const repo of allRepos) {
+            if (glob.test(repo.name)) {
+              previouslyTargetedRepos.add(repo.name)
+            }
+          }
         }
       }