1 files changed, 61 insertions, 0 deletions
diff --git a/.github/workflows/docs_cleanup.yml b/.github/workflows/docs_cleanup.yml
new file mode 100644
index 000000000..0260b6474
--- /dev/null
+++ b/.github/workflows/docs_cleanup.yml
@@ -0,0 +1,61 @@
+name: documentation cleanup
+on:
+  schedule:
+    - cron: '0 1 * * SUN'
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Install Packages
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y python3 python3-jinja2
+
+      - name: Setup Deploy Key
+        env:
+            SSH_AUTH_SOCK: /tmp/ssh_agent.sock
+        run: |
+            ssh-agent -a $SSH_AUTH_SOCK > /dev/null
+            ssh-add - <<< "${{ secrets.CVC5_DOCS_TOKEN }}"
+
+      - name: Clone docs repo
+        env:
+            SSH_AUTH_SOCK: /tmp/ssh_agent.sock
+        run: |
+          git config --global user.email "docbot@cvc5"
+          git config --global user.name "DocBot"
+          git clone git@github.com:cvc5/docs-ci.git target/
+      
+      - name: Remove stale docs
+        run: |
+          cd target
+          for file in `find ./ -maxdepth 1 -name "docs-*"`; do
+            mod=`git log -1 HEAD --pretty="%ci" $file`
+            touch -d "$mod" $file
+          done
+          find ./ -maxdepth 1 -name "docs-*" -mtime +7 -exec git rm -r {} +
+          git commit -m "Prune docs" || echo "Nothing to prune"
+
+      - name: Squash old commits
+        env:
+            SSH_AUTH_SOCK: /tmp/ssh_agent.sock
+        run: |
+          cd target
+          git log
+          first=`git rev-list --max-parents=0 HEAD`
+          last=`git rev-list --until=1.month.ago -n1 HEAD`
+          git rebase -Xtheirs --onto $first $last
+          git log
+      
+      - name: Push
+        env:
+            SSH_AUTH_SOCK: /tmp/ssh_agent.sock
+        run: |
+          cd target
+
+          python3 genindex.py
+          git add README.md
+          git commit -m "Update README.md"
+
+          git push -f