From d6fe5fd01f62f04f5edb62c935b71f47c4140b77 Mon Sep 17 00:00:00 2001 From: AztecBot Date: Thu, 7 Sep 2023 13:36:53 +0000 Subject: [PATCH] git subrepo push --branch=main docs subrepo: subdir: "docs" merged: "d070b543b" upstream: origin: "https://github.com/AztecProtocol/docs" branch: "main" commit: "d070b543b" 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 c9df0134fa3..2d96946ad91 100644 --- a/docs/.gitrepo +++ b/docs/.gitrepo @@ -6,7 +6,7 @@ [subrepo] remote = https://github.com/AztecProtocol/docs branch = main - commit = e9741f938200e9e69e5f25b6d9cfedb8beec7add - parent = e29148b379a435a9fefd846cc5fe78af6be7021d + commit = d070b543ba7dce75536e5246567475391dfb237e + parent = 2c2d72b7799b24273e498805ecf4c36d69f08d7d method = merge cmdver = 0.4.6