From 685aba71b2f9eb9be07f0126c41a44f25e93ad1f Mon Sep 17 00:00:00 2001 From: AztecBot Date: Fri, 8 Sep 2023 12:27:32 +0000 Subject: [PATCH] git subrepo push --branch=main docs subrepo: subdir: "docs" merged: "00d33529c" upstream: origin: "https://github.com/AztecProtocol/docs" branch: "main" commit: "00d33529c" 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 c6c9d3a60db..794f4ba1140 100644 --- a/docs/.gitrepo +++ b/docs/.gitrepo @@ -6,7 +6,7 @@ [subrepo] remote = https://github.com/AztecProtocol/docs branch = main - commit = dd9ca047380145de166fba0ed6010517ecd0b1f1 - parent = aabfb1383033364df9c045573098a4f13ca3a452 + commit = 00d33529c9c7737a1eca09876c999f9fe967e81c + parent = 73b484f474a16b53920fa1dc4f71cbe1ff2bf9ce method = merge cmdver = 0.4.6