git subrepo push --branch=main docs

subrepo:
  subdir:   "docs"
  merged:   "3c5f3c4a9"
upstream:
  origin:   "https://github.com/AztecProtocol/docs"
  branch:   "main"
  commit:   "3c5f3c4a9"
git-subrepo:
  version:  "0.4.6"
  origin:   "???"
  commit:   "???"

docs/.gitrepo

@@ -6,7 +6,7 @@
 [subrepo]
 	remote = https://github.com/AztecProtocol/docs
 	branch = main
-	commit = 842a54250196aed6b9e9863fa2a15e07cc9172a8
-	parent = cd9cadbfb6b0311c381586799588a5f64df98f29
+	commit = 3c5f3c4a9d6cf1c337653e22981c481c095b902d
+	parent = 5a38cea3f7c1567a8eea3d6c2c58cad6f79b05f2
 	method = merge
 	cmdver = 0.4.6