From dc3bf17556ae5d8d2d53ab5647ae73079b8d047e Mon Sep 17 00:00:00 2001 From: AztecBot Date: Wed, 30 Aug 2023 12:59:54 +0000 Subject: [PATCH] git subrepo push --branch=main docs subrepo: subdir: "docs" merged: "ac87b4f4d" upstream: origin: "https://github.com/AztecProtocol/docs" branch: "main" commit: "ac87b4f4d" 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 1df96b5c1a9..f6f460ef740 100644 --- a/docs/.gitrepo +++ b/docs/.gitrepo @@ -6,7 +6,7 @@ [subrepo] remote = https://github.com/AztecProtocol/docs branch = main - commit = 8ac4d2b2f24ae145f747d8559fd1c556453b374b - parent = c1144f7bcfe8ebe222b840b0edd3d901ca30bdaf + commit = ac87b4f4d2a76d5adbed1178e5511ea56fc3fa25 + parent = 2f4045e22dbea0e316103da20c6ba8a667826777 method = merge cmdver = 0.4.6