From 640223472b481841095705d500fb8bccad2435ae Mon Sep 17 00:00:00 2001
From: Athanasius <Athanasius@miggy.org>
Date: Sat, 17 Dec 2022 11:26:51 +0000
Subject: [PATCH] github/submodule-update: Remove unused 'Add labels' step

1. This was commented out.
2. It's not necessarily up to date with what *works*, so just delete it.
---
 .github/workflows/submodule-update.yml | 19 -------------------
 1 file changed, 19 deletions(-)

diff --git a/.github/workflows/submodule-update.yml b/.github/workflows/submodule-update.yml
index 407f567d..9af87368 100644
--- a/.github/workflows/submodule-update.yml
+++ b/.github/workflows/submodule-update.yml
@@ -64,22 +64,3 @@ jobs:
               title: `[Auto-generated] Submodule Updates ${process.env.GITHUB_RUN_ID}`,
               body: '${{ steps.check_for_changes.outputs.changes_text }}',
             });
-
-#      - name: Add labels
-#        if: steps.check_for_changes.outputs.changes == 'true'
-#        uses: actions/github-script@v6
-#        with:
-#          github-token: "${{ secrets.GITHUB_TOKEN }}"
-#          script: |
-#            const res = await github.rest.issues.listForRepo({
-#              owner: '${{ github.repository_owner }}',
-#              repo: '${{ github.repository }}'.split('/')[1].trim(),
-#            });
-#            const pr = res.data.filter(i => i.title.includes(process.env.GITHUB_RUN_ID));
-#            const prNumber = pr[0].number;  
-#            await github.rest.issues.addLabels({
-#              issue_number: prNumber,
-#              owner: '${{ github.repository_owner }}',
-#              repo: '${{ github.repository }}'.split('/')[1].trim(),
-#              labels: ['${{ inputs.label }}']
-#            });