From a6d3349b63df6b7683c0b1803756a91aae78efb0 Mon Sep 17 00:00:00 2001 From: AztecBot Date: Mon, 11 Sep 2023 15:23:46 +0000 Subject: [PATCH] git subrepo push --branch=main docs subrepo: subdir: "docs" merged: "d624ccc3f" upstream: origin: "https://github.com/AztecProtocol/docs" branch: "main" commit: "d624ccc3f" 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 d4f7496a1af..7c9f408755a 100644 --- a/docs/.gitrepo +++ b/docs/.gitrepo @@ -6,7 +6,7 @@ [subrepo] remote = https://github.com/AztecProtocol/docs branch = main - commit = bef2a920b20e552e5039bdae7ed93eb28822cfda - parent = 573dbc20a2b5ebae0e967e320da75febd5361eaf + commit = d624ccc3f4da16b453bfde04fc712f61313b50bd + parent = dcc927c9aa347cd305cecd260cfedfb5cda0454f method = merge cmdver = 0.4.6