From cd8f349a8d1cc9045699e5f116924ca1ed90be72 Mon Sep 17 00:00:00 2001
From: AztecBot <tech@aztecprotocol.com>
Date: Thu, 14 Sep 2023 02:09:25 +0000
Subject: [PATCH] git subrepo push --branch=main docs

subrepo:
  subdir:   "docs"
  merged:   "a6b558800"
upstream:
  origin:   "https://github.com/AztecProtocol/docs"
  branch:   "main"
  commit:   "a6b558800"
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 e3df984cbe5..31bff7a92d6 100644
--- a/docs/.gitrepo
+++ b/docs/.gitrepo
@@ -6,7 +6,7 @@
 [subrepo]
 	remote = https://github.com/AztecProtocol/docs
 	branch = main
-	commit = 6905fb906199ab1a69c4c263029f9a0b8708ee4d
-	parent = 0c3a6271a1d90fa95a0163606e49f432573e66da
+	commit = a6b558800fa7712fec7045a2d3a238824cf17084
+	parent = c8a5cfb375b498475503c12cc83fcdba39f2ec5f
 	method = merge
 	cmdver = 0.4.6