From 3da0830fffd184e108ce5f2f0c5e45e23e09f64c Mon Sep 17 00:00:00 2001
From: OlingCat <olingcat@gmail.com>
Date: Sun, 2 Jun 2024 09:22:10 +0000
Subject: [PATCH] =?UTF-8?q?Deploying=20to=20gh-pages=20from=20@=20Lean-zh/?=
 =?UTF-8?q?tp-lean-zh@d4d163aa5199bb7f89954911851195847f6293eb=20?=
 =?UTF-8?q?=F0=9F=9A=80?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 deploy.sh | 36 ++++++++++++++++++------------------
 1 file changed, 18 insertions(+), 18 deletions(-)

diff --git a/deploy.sh b/deploy.sh
index d11cbad..a982700 100755
--- a/deploy.sh
+++ b/deploy.sh
@@ -1,18 +1,18 @@
-#!/usr/bin/env bash
-set -e
-
-# Build
-mdbook build
-rm -rf out/.git
-
-# 3. Deploy
-rm -rf deploy
-mkdir deploy
-cd deploy
-git init
-cp -r ../out/./ .
-git add -A
-git commit -m "Update `date`"
-git push https://github.com/leanprover/theorem_proving_in_lean4.git +HEAD:gh-pages
-cd ..
-rm -rf deploy
+#!/usr/bin/env bash
+set -e
+
+# Build
+mdbook build
+rm -rf out/.git
+
+# 3. Deploy
+rm -rf deploy
+mkdir deploy
+cd deploy
+git init
+cp -r ../out/./ .
+git add -A
+git commit -m "Update `date`"
+git push https://github.com/Lean-zh/tp-lean-zh.git +HEAD:gh-pages
+cd ..
+rm -rf deploy