refactor: move label migration to its own daily workflow

Extracts migration logic into issue-labels-migrate.yml (runs daily at
07:00 UTC). Removes migration from issue-labels-sync.yml.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Author: EMaher

.github/workflows/issue-labels-migrate.yml

@@ -0,0 +1,52 @@
+name: Migrate Legacy Labels
+
+on:
+  schedule:
+    - cron: '0 7 * * *'   # Daily at 07:00 UTC (runs before label sync at 08:00)
+  workflow_dispatch:
+
+permissions:
+  issues: write
+
+jobs:
+  migrate:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Rename legacy labels to type: equivalents
+        uses: actions/github-script@v7
+        with:
+          script: |
+            // Legacy label → canonical type: label.
+            // Rename preserves all issue associations automatically.
+            const MIGRATIONS = [
+              { from: 'bug', to: 'type:bug' },
+              { from: 'question', to: 'type:question' },
+              { from: 'enhancement', to: 'type:enhancement' },
+              { from: 'documentation', to: 'type:documentation' }
+            ];
+
+            for (const { from, to } of MIGRATIONS) {
+              try {
+                await github.rest.issues.getLabel({
+                  owner: context.repo.owner,
+                  repo: context.repo.repo,
+                  name: from
+                });
+                // Old label exists — rename it
+                await github.rest.issues.updateLabel({
+                  owner: context.repo.owner,
+                  repo: context.repo.repo,
+                  name: from,
+                  new_name: to
+                });
+                core.info(`Migrated label: ${from} → ${to}`);
+              } catch (err) {
+                if (err.status === 404) {
+                  core.info(`Legacy label "${from}" not found — no migration needed`);
+                } else {
+                  core.warning(`Failed to migrate ${from}: ${err.message}`);
+                }
+              }
+            }
+
+            core.info('Label migration complete');

.github/workflows/issue-labels-sync.yml

@@ -196,36 +196,3 @@ jobs:
             }
 
             core.info(`Label sync complete: ${labels.length} labels synced`);
-
-            // Migrate legacy labels → type: equivalents AFTER sync ensures targets exist.
-            // Rename preserves issue associations.
-            const MIGRATIONS = [
-              { from: 'bug', to: 'type:bug' },
-              { from: 'question', to: 'type:question' },
-              { from: 'enhancement', to: 'type:enhancement' },
-              { from: 'documentation', to: 'type:documentation' }
-            ];
-
-            for (const { from, to } of MIGRATIONS) {
-              try {
-                await github.rest.issues.getLabel({
-                  owner: context.repo.owner,
-                  repo: context.repo.repo,
-                  name: from
-                });
-                // Old label exists — rename it (this moves all issues to the new name)
-                await github.rest.issues.updateLabel({
-                  owner: context.repo.owner,
-                  repo: context.repo.repo,
-                  name: from,
-                  new_name: to
-                });
-                core.info(`Migrated label: ${from} → ${to}`);
-              } catch (err) {
-                if (err.status === 404) {
-                  core.info(`Legacy label "${from}" not found — no migration needed`);
-                } else {
-                  core.warning(`Failed to migrate ${from}: ${err.message}`);
-                }
-              }
-            }