Update GitHub Actions bot name and email

See actions/checkout#13 (comment)

Author: jbelien

.github/workflows/update-brugge.yml

@@ -52,8 +52,8 @@ jobs:
         if: ${{ github.event != 'pull_request' }}
         working-directory: cities/brugge
         run: |
-          git config user.name github-actions
-          git config user.email github-actions@github.com
+          git config user.name github-actions[bot]
+          git config user.email 41898282+github-actions[bot]@users.noreply.github.com
           git add data/*
           git commit -m "🗃 Update data"
       - name: Push to sub-module
@@ -66,8 +66,8 @@ jobs:
       - name: Commit repository
         if: ${{ github.event != 'pull_request' }}
         run: |
-          git config user.name github-actions
-          git config user.email github-actions@github.com
+          git config user.name github-actions[bot]
+          git config user.email 41898282+github-actions[bot]@users.noreply.github.com
           git pull
           git add cities/brugge
           git commit -m "🗃 Update Brugge sub-module"

.github/workflows/update-brussels.yml

@@ -52,8 +52,8 @@ jobs:
         if: ${{ github.event != 'pull_request' }}
         working-directory: cities/brussels
         run: |
-          git config user.name github-actions
-          git config user.email github-actions@github.com
+          git config user.name github-actions[bot]
+          git config user.email 41898282+github-actions[bot]@users.noreply.github.com
           git add data/*
           git commit -m "🗃 Update data"
       - name: Push to sub-module
@@ -66,8 +66,8 @@ jobs:
       - name: Commit repository
         if: ${{ github.event != 'pull_request' }}
         run: |
-          git config user.name github-actions
-          git config user.email github-actions@github.com
+          git config user.name github-actions[bot]
+          git config user.email 41898282+github-actions[bot]@users.noreply.github.com
           git pull
           git add cities/brussels
           git commit -m "🗃 Update Brussels sub-module"

.github/workflows/update-gent.yml

@@ -52,8 +52,8 @@ jobs:
         if: ${{ github.event != 'pull_request' }}
         working-directory: cities/gent
         run: |
-          git config user.name github-actions
-          git config user.email github-actions@github.com
+          git config user.name github-actions[bot]
+          git config user.email 41898282+github-actions[bot]@users.noreply.github.com
           git add data/*
           git commit -m "🗃 Update data"
       - name: Push to sub-module
@@ -66,8 +66,8 @@ jobs:
       - name: Commit repository
         if: ${{ github.event != 'pull_request' }}
         run: |
-          git config user.name github-actions
-          git config user.email github-actions@github.com
+          git config user.name github-actions[bot]
+          git config user.email 41898282+github-actions[bot]@users.noreply.github.com
           git pull
           git add cities/gent
           git commit -m "🗃 Update Gent sub-module"

.github/workflows/update-leuven.yml

@@ -52,8 +52,8 @@ jobs:
         if: ${{ github.event != 'pull_request' }}
         working-directory: cities/leuven
         run: |
-          git config user.name github-actions
-          git config user.email github-actions@github.com
+          git config user.name github-actions[bot]
+          git config user.email 41898282+github-actions[bot]@users.noreply.github.com
           git add data/*
           git commit -m "🗃 Update data"
       - name: Push to sub-module
@@ -66,8 +66,8 @@ jobs:
       - name: Commit repository
         if: ${{ github.event != 'pull_request' }}
         run: |
-          git config user.name github-actions
-          git config user.email github-actions@github.com
+          git config user.name github-actions[bot]
+          git config user.email 41898282+github-actions[bot]@users.noreply.github.com
           git pull
           git add cities/leuven
           git commit -m "🗃 Update Leuven sub-module"

.github/workflows/update-mons.yml

@@ -52,8 +52,8 @@ jobs:
         if: ${{ github.event != 'pull_request' }}
         working-directory: cities/mons
         run: |
-          git config user.name github-actions
-          git config user.email github-actions@github.com
+          git config user.name github-actions[bot]
+          git config user.email 41898282+github-actions[bot]@users.noreply.github.com
           git add data/*
           git commit -m "🗃 Update data"
       - name: Push to sub-module
@@ -66,8 +66,8 @@ jobs:
       - name: Commit repository
         if: ${{ github.event != 'pull_request' }}
         run: |
-          git config user.name github-actions
-          git config user.email github-actions@github.com
+          git config user.name github-actions[bot]
+          git config user.email 41898282+github-actions[bot]@users.noreply.github.com
           git pull
           git add cities/mons
           git commit -m "🗃 Update Mons sub-module"