minor #988 Remove label cleanup step from run-examples workflow (OskarStark)

This PR was merged into the main branch.

Discussion
----------

 Remove label cleanup step from run-examples workflow

| Q             | A
| ------------- | ---
| Bug fix?      | no
| New feature?  | no
| Docs?         | no
| Issues        | --
| License       | MIT

Commits
-------

9729f5f Comment out label cleanup step and permissions from run-examples workflow

Author: OskarStark

.github/workflows/run-examples.yaml

@@ -4,6 +4,9 @@ on:
     pull_request:
         types: [labeled]
 
+#permissions:
+#    pull-requests: write
+
 defaults:
     run:
         working-directory: examples
@@ -33,14 +36,15 @@ jobs:
               env:
                   OPENAI_API_KEY: ${{ secrets.OPENAI_API_KEY }}
 
-            - name: Remove label
-              if: always()
-              uses: actions/github-script@v7
-              with:
-                  script: |
-                      await github.rest.issues.removeLabel({
-                        owner: context.repo.owner,
-                        repo: context.repo.repo,
-                        issue_number: context.issue.number,
-                        name: 'Run examples'
-                      });
+#            - name: Remove label
+#              if: always()
+#              uses: actions/github-script@v7
+#              with:
+#                  script: |
+#                      await github.rest.issues.removeLabel({
+#                        owner: context.repo.owner,
+#                        repo: context.repo.repo,
+#                        issue_number: context.issue.number,
+#                        name: 'Run examples'
+#                      });
+