From 31c06e38d6e55d57b7aa13770b87a75d56dc0b1d Mon Sep 17 00:00:00 2001
From: AztecBot <tech@aztecprotocol.com>
Date: Wed, 23 Aug 2023 13:39:06 +0000
Subject: [PATCH] git subrepo push --branch=main docs

subrepo:
  subdir:   "docs"
  merged:   "842a54250"
upstream:
  origin:   "https://github.com/AztecProtocol/docs"
  branch:   "main"
  commit:   "842a54250"
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 ea083df8b31..fcb799fe2d3 100644
--- a/docs/.gitrepo
+++ b/docs/.gitrepo
@@ -6,7 +6,7 @@
 [subrepo]
 	remote = https://github.com/AztecProtocol/docs
 	branch = main
-	commit = ba5d7a6bc28b9e061a99e15c7b215b5fc38c2665
-	parent = 802a678e3dd19339cd88b105a0ce341026b58054
+	commit = 842a54250196aed6b9e9863fa2a15e07cc9172a8
+	parent = cd9cadbfb6b0311c381586799588a5f64df98f29
 	method = merge
 	cmdver = 0.4.6