Fix CI (attempt #1)

Author: tmandry

.github/workflows/ci.yml

@@ -20,6 +20,10 @@ jobs:
           curl -LsSf https://github.com/badboy/mdbook-mermaid/releases/download/$tag/mdbook-mermaid-$tag-x86_64-unknown-linux-gnu.tar.gz | tar xzf -
           echo $(pwd) >> $GITHUB_PATH
       - run: mdbook build
+      - name: Configure git
+        run: |
+          git config --global http.postBuffer 50000000
+          git config --global https.postBuffer 50000000
       - uses: rust-lang/simpleinfra/github-actions/static-websites@master
         with:
           deploy_dir: book