From 472c101e502af9a90c808157382a3823cf9a4e1f Mon Sep 17 00:00:00 2001
From: Anmol Sethi <anmol@terrastruct.com>
Date: Wed, 7 Dec 2022 20:59:24 -0800
Subject: [PATCH] ci: Update

---
 ci/fmt.sh | 8 +-------
 ci/sub    | 2 +-
 2 files changed, 2 insertions(+), 8 deletions(-)

diff --git a/ci/fmt.sh b/ci/fmt.sh
index 4fb39da34..90b405eab 100755
--- a/ci/fmt.sh
+++ b/ci/fmt.sh
@@ -3,10 +3,4 @@ set -eu
 . "$(dirname "$0")/sub/lib.sh"
 cd -- "$(dirname "$0")/.."
 
-if is_changed README.md; then
-  sh_c tocsubst --skip 1 README.md
-fi
-if is_changed docs/INSTALL.md; then
-  sh_c tocsubst --skip 1 docs/INSTALL.md
-fi
-./ci/sub/fmt/make.sh
+./ci/sub/bin/fmt.sh
diff --git a/ci/sub b/ci/sub
index f668611e9..8892ef430 160000
--- a/ci/sub
+++ b/ci/sub
@@ -1 +1 @@
-Subproject commit f668611e9b1cfc335230ab6f8161cf87f74f174d
+Subproject commit 8892ef43000921a29a1f1118c84d7eabbb9ef0c5