From de8240fa8b2947da8cd6f35da57799ec0f780b45 Mon Sep 17 00:00:00 2001
From: AztecBot <tech@aztecprotocol.com>
Date: Sat, 16 Sep 2023 02:08:19 +0000
Subject: [PATCH] git subrepo push --branch=main docs

subrepo:
  subdir:   "docs"
  merged:   "20fe6bd3e"
upstream:
  origin:   "https://github.com/AztecProtocol/docs"
  branch:   "main"
  commit:   "20fe6bd3e"
git-subrepo:
  version:  "0.4.6"
  origin:   "???"
  commit:   "???" [skip ci]
---
 docs/.gitrepo | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/.gitrepo b/docs/.gitrepo
index fbf346d6eb4..3530bc59b57 100644
--- a/docs/.gitrepo
+++ b/docs/.gitrepo
@@ -6,7 +6,7 @@
 [subrepo]
 	remote = https://github.com/AztecProtocol/docs
 	branch = main
-	commit = d944f23d5cb35f5b9e8a7428384bde28524134ff
-	parent = ccb7b8919a49be96c0913c1ec1df948cb92dfbe9
+	commit = 20fe6bd3ec37c32516ddd799918f5f268279b506
+	parent = bf2651e714e148cdd0a625a435fe1ee64d762ffb
 	method = merge
 	cmdver = 0.4.6