chore: add git user (#132)

From https://github.com/orgs/community/discussions/40405 it looks like we can generate a valid email. Signed-off-by: Tim deBoer <[email protected]>
podman-desktop · Feb 5, 2024 · e777dbe · e777dbe
1 parent 0b6edc0
commit e777dbe
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml
@@ -48,6 +48,7 @@ jobs:
       - name: tag
         run: |
           git config --local user.name ${{ github.actor }}
+          git config --local user.email "${{ github.actor_id }}+${{ github.actor }}@users.noreply.github.com"
 
           # Add the new version in package.json file
           sed -i  "s#version\":\ \"\(.*\)\",#version\":\ \"${{ steps.TAG_UTIL.outputs.bootcExtensionVersion }}\",#g" package.json
@@ -74,7 +75,7 @@ jobs:
         if: ${{ github.event.inputs.branch == 'main' }}
         run: |
           git config --local user.name ${{ github.actor }}
-          git config --local user.email "deboer@redhat.com"
+          git config --local user.email "${{ github.actor_id }}+${{ github.actor }}@users.noreply.github.com"
           CURRENT_VERSION=$(echo "${{ steps.TAG_UTIL.outputs.bootcExtensionVersion }}")
           tmp=${CURRENT_VERSION%.*}
           minor=${tmp#*.}