From c743cf82b14c3be4b5e54a8e754fd8f18aca2fc2 Mon Sep 17 00:00:00 2001
From: AztecBot <tech@aztecprotocol.com>
Date: Tue, 12 Sep 2023 13:58:43 +0000
Subject: [PATCH] git subrepo push --branch=main docs

subrepo:
  subdir:   "docs"
  merged:   "eb85223fb"
upstream:
  origin:   "https://github.com/AztecProtocol/docs"
  branch:   "main"
  commit:   "eb85223fb"
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 3a94ec58b7f..e4f665770ef 100644
--- a/docs/.gitrepo
+++ b/docs/.gitrepo
@@ -6,7 +6,7 @@
 [subrepo]
 	remote = https://github.com/AztecProtocol/docs
 	branch = main
-	commit = a9c018781395b73ee059ae6d856a94b755ff7b26
-	parent = f560066394c3fc9725be18f320597794e29dc077
+	commit = eb85223fb6c6ba1add75a830b0e156773f7ee740
+	parent = c11b70d8186ef7ab9a9d4ab1a09589e7c47e91bb
 	method = merge
 	cmdver = 0.4.6