Revert "workflows: fix code style workflows user name (#410)"

Because this will assign potentially a lot of additional code changes to only the pipeline triggerer.
Example: Multiple deves are working on the same PR. One of them merges it in the end (or better
a maintainer of us) and "commits" all the changes. This will cause in Git blame to only show him up.
Also, filtering based on the actions email will not work anymore.
Furthermore, people signing commits (like me) will cause a lot of unverified commits to pop up.

This reverts commit 22e3bfa.

.github/workflows/astyle.yml

@@ -29,8 +29,8 @@ jobs:
       - name: Push changes
         if: steps.git-check.outputs.modified == 'true'
         run: |
-          git config --global user.email $(jq -r '.pusher.email' $GITHUB_EVENT_PATH)
-          git config --global user.name $(jq -r '.pusher.name' $GITHUB_EVENT_PATH)
+          git config --global user.email '[email protected]'
+          git config --global user.name 'GitHub Action'
           git commit -am 'Applied formatting'
       - name: Push changes
         uses: ad-m/github-push-action@master