git subrepo push --branch=main docs

subrepo: subdir: "docs" merged: "bef2a920b" upstream: origin: "https://github.com/AztecProtocol/docs" branch: "main" commit: "bef2a920b" git-subrepo: version: "0.4.6" origin: "???" commit: "???"
AztecProtocol · Sep 11, 2023 · 6fee803 · 6fee803
1 parent 573dbc2
commit 6fee803
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/.gitrepo b/docs/.gitrepo
@@ -6,7 +6,7 @@
 [subrepo]
 	remote = https://github.com/AztecProtocol/docs
 	branch = main
-	commit = 76da28406fa55dc0f34dbed9014d68391e6ef18e
-	parent = 73328dbe4e509235329e32ff88f823d849a2b673
+	commit = bef2a920b20e552e5039bdae7ed93eb28822cfda
+	parent = 573dbc20a2b5ebae0e967e320da75febd5361eaf
 	method = merge
 	cmdver = 0.4.6