From e26b24b02a5955dee15cb8f90a32417bbacd20dd Mon Sep 17 00:00:00 2001
From: Andre_601 <11576465+Andre601@users.noreply.github.com>
Date: Thu, 13 Aug 2020 23:36:46 +0200
Subject: [PATCH] Also push changes.

---
 .github/workflows/release_actions.yml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/.github/workflows/release_actions.yml b/.github/workflows/release_actions.yml
index c7b5c3d8..ddf5a1c7 100644
--- a/.github/workflows/release_actions.yml
+++ b/.github/workflows/release_actions.yml
@@ -18,6 +18,14 @@ jobs:
         java-version: 1.11
     - name: Generate Javadoc
       run: ./gradlew javadoc
+    - name: Push changes
+      run: |
+        git config --global user.name "github-actions[bot]"
+        git config --global user.email "actions@github.com"
+        
+        git add docs
+        git commit -m "Update Javadoc (${GITHUB_SHA:0:7})"
+        git push
   publish:
     needs: [generateJavadoc]
     if: success()