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: "???"
AztecProtocol · Aug 17, 2023 · 0657ad4 · 0657ad4
1 parent b43d7a0
commit 0657ad4
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 = f559e7504a0eb46901602d766c169178f6743d2b
-	parent = d93fa96e6c1229a7c1f3dbb583f49d27378d8603
+	commit = 9ba95cabdf067f22e592847cb3e6ba1874455780
+	parent = b43d7a008dd6672df67090390432893b597bcd62
 	method = merge
 	cmdver = 0.4.6