From ee1088c088f0258413d992b2e064615ba256e5ca Mon Sep 17 00:00:00 2001
From: Caspar Jungbacker <c.a.a.jungbacker@student.tudelft.nl>
Date: Mon, 17 Apr 2023 18:28:12 +0200
Subject: [PATCH] Add HTML push to `publish-html`

---
 .gitlab-ci.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1abfaf3..ff64682 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -41,3 +41,6 @@ push-html:
     - git checkout publish-html
   script:
     - rsync -av --delete book/_build/html/* ./.
+    - git add --all -- ':!book/*' ':!.cache/*'
+    - git commit -m "$CI_COMMIT_MESSAGE"
+    - git push https://gitlab-ci-token:$ACCESS_TOKEN@gitlab.tudelft.nl/$CI_PROJECT_PATH.git origin publish-html