fix(ci): use a nicer name for the documentation updater

Author: dhdaines

.github/workflows/api-docs.yml

@@ -55,8 +55,8 @@ jobs:
 
       - name: Commit upstream
         run: |
-            git config user.name "WTF GitHub"
-            git config user.email "omg@wtf.die.die.die"
+            git config user.name "github-actions[bot]"
+            git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
             git add doc/pocketsphinx
             git commit -m 'chore: update PocketSphinx API documentation'
             git push