Add optional planning-token to Add Team Label action

Author: Mrtenz

.github/actions/add-team-label/action.yml

@@ -6,14 +6,19 @@ inputs:
     description: 'GitHub token with access to read topology.json and add labels to PRs.'
     required: true
 
+  planning-token:
+    description: 'GitHub token with access to read topology.json. Optional if team-label-token already has this access.'
+    required: false
+    default: ${{ inputs.team-label-token }}
+
 runs:
   using: composite
   steps:
     # Fetch the team label for the PR author from topology.json and expose it as a step output.
     - name: Get team label
       id: get-team-label
       env:
-        GH_TOKEN: ${{ inputs.team-label-token }}
+        GH_TOKEN: ${{ inputs.planning-token }}
         USER: ${{ github.event.pull_request.user.login }}
       shell: bash
       run: |