use noreply e-mail

Author: Andre601

.github/workflows/release_actions.yml

@@ -23,7 +23,7 @@ jobs:
     - name: Push changes
       run: |
         git config --global user.name "github-actions[bot]"
-        git config --global user.email "actions@github.com"
+        git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com"
         
         git add docs
         git commit -m "Update Javadoc (${GITHUB_SHA:0:7})"