Unverified Commit 81005856 authored by Wolfgang Walther's avatar Wolfgang Walther
Browse files

workflows/teams: consistent style with other workflows 

These are style-only formatting changes, that are not enforced via
tooling - but used consistently in the other workflow files.
parent 42de52d2

.github/workflows/teams.yml

+5 −2
Original line number Diff line number Diff line
@@ -4,8 +4,6 @@ on: 
  schedule:

    # Every Tuesday at 19:42 (randomly chosen)

    - cron: '42 19 * * 1'



  # Allows manual trigger

  workflow_dispatch:



permissions: {}
@@ -25,6 +23,7 @@ jobs: 
          private-key: ${{ secrets.OWNER_APP_PRIVATE_KEY }}

          permission-administration: read

          permission-members: read



      - name: Fetch source

        uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0

        with:
@@ -32,8 +31,10 @@ jobs: 
          sparse-checkout: |

            ci/github-script

            maintainers/github-teams.json



      - name: Install dependencies

        run: npm install bottleneck



      - name: Synchronise teams

        uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0

        with:
@@ -54,6 +55,7 @@ jobs: 
          private-key: ${{ secrets.NIXPKGS_CI_APP_PRIVATE_KEY }}

          permission-contents: write

          permission-pull-requests: write



      - name: Get GitHub App User Git String

        id: user

        env:
@@ -64,6 +66,7 @@ jobs: 
          userId=$(gh api "/users/$name" --jq .id)

          email="$userId+$name@users.noreply.github.com"

          echo "git-string=$name <$email>" >> "$GITHUB_OUTPUT"



      - name: Create Pull Request

        uses: peter-evans/create-pull-request@271a8d0340265f705b14b6d32b9829c1cb33d45e # v7.0.8

        with: