git subrepo push --branch=main docs

subrepo: subdir: "docs" merged: "20fe6bd3e" upstream: origin: "https://github.com/AztecProtocol/docs" branch: "main" commit: "20fe6bd3e" git-subrepo: version: "0.4.6" origin: "???" commit: "???" [skip ci]
AztecProtocol · Sep 16, 2023 · de8240f · de8240f
1 parent 5d96e24
commit de8240f
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 = d944f23d5cb35f5b9e8a7428384bde28524134ff
-	parent = ccb7b8919a49be96c0913c1ec1df948cb92dfbe9
+	commit = 20fe6bd3ec37c32516ddd799918f5f268279b506
+	parent = bf2651e714e148cdd0a625a435fe1ee64d762ffb
 	method = merge
 	cmdver = 0.4.6