From 81005856bb8a20a720950f450445e5888e28b1c0 Mon Sep 17 00:00:00 2001
From: Wolfgang Walther <walther@technowledgy.de>
Date: Tue, 28 Oct 2025 11:43:07 +0100
Subject: [PATCH] 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.
---
 .github/workflows/teams.yml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/teams.yml b/.github/workflows/teams.yml
index 099ea882aa7c..67ffdf053a80 100644
--- a/.github/workflows/teams.yml
+++ b/.github/workflows/teams.yml
@@ -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: