Add username and email

Author: leandrumartin

.github/workflows/javadoc-gh-pages.yml

@@ -52,4 +52,6 @@ jobs:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ./javadoc
           destination_dir: javadoc
-          keep_files: true
+          keep_files: true
+          user_name: 'github-actions[bot]'
+          user_email: 'github-actions[bot]@users.noreply.github.com'