change commiter name in deploy workflow

Author: quarckster

.github/workflows/deploy-site.yaml

@@ -28,6 +28,6 @@ jobs:
                    python build.py ${{ github.event.inputs.branch }}"
       - name: "Push branch"
         run: |
-          git config user.name github-actions
-          git config user.email [email protected]
+          git config user.name openssl-machine
+          git config user.email [email protected]
           git push origin gh-pages