From 0657ad4f33a408105b2ef67f17633776dae20e19 Mon Sep 17 00:00:00 2001
From: AztecBot <tech@aztecprotocol.com>
Date: Thu, 17 Aug 2023 18:49:34 +0000
Subject: [PATCH] git subrepo push --branch=main docs

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

diff --git a/docs/.gitrepo b/docs/.gitrepo
index ee0edaade47..8abae0e34e1 100644
--- a/docs/.gitrepo
+++ b/docs/.gitrepo
@@ -6,7 +6,7 @@
 [subrepo]
 	remote = https://github.com/AztecProtocol/docs
 	branch = main
-	commit = f559e7504a0eb46901602d766c169178f6743d2b
-	parent = d93fa96e6c1229a7c1f3dbb583f49d27378d8603
+	commit = 9ba95cabdf067f22e592847cb3e6ba1874455780
+	parent = b43d7a008dd6672df67090390432893b597bcd62
 	method = merge
 	cmdver = 0.4.6