From 2968886860b8137d082b2d6b50df11144027b4ba Mon Sep 17 00:00:00 2001 From: AztecBot Date: Wed, 6 Sep 2023 13:07:36 +0000 Subject: [PATCH] git subrepo push --branch=main docs subrepo: subdir: "docs" merged: "2722acb31" upstream: origin: "https://github.com/AztecProtocol/docs" branch: "main" commit: "2722acb31" 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 78b68790b8c..53a6e8c10fe 100644 --- a/docs/.gitrepo +++ b/docs/.gitrepo @@ -6,7 +6,7 @@ [subrepo] remote = https://github.com/AztecProtocol/docs branch = main - commit = 1c2da073a79f22ffafe0161271559d67b273fdc5 - parent = 9aab9ddefac63d35ebc356afed573af268896b35 + commit = 2722acb3186f843596d14d04bb660710be61a794 + parent = 5a8c5719753549f71ceeec9114d69b8d1d640376 method = merge cmdver = 0.4.6