From 86100836404733abaca5ed61e0d06eb19c419952 Mon Sep 17 00:00:00 2001 From: AztecBot Date: Wed, 18 Oct 2023 02:11:35 +0000 Subject: [PATCH] git subrepo push --branch=master build-system subrepo: subdir: "build-system" merged: "b600bcc8c" upstream: origin: "https://github.com/AztecProtocol/build-system" branch: "master" commit: "b600bcc8c" git-subrepo: version: "0.4.6" origin: "???" commit: "???" [skip ci] --- build-system/.gitrepo | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build-system/.gitrepo b/build-system/.gitrepo index 5056871a089..6dfed0dd7b2 100644 --- a/build-system/.gitrepo +++ b/build-system/.gitrepo @@ -6,7 +6,7 @@ [subrepo] remote = https://github.com/AztecProtocol/build-system branch = master - commit = 9654fc770fc04d3b9b2500af9320a64bcd06b8a2 - parent = cb18f455d02b00b30da20c6afbeb806921b3a1cf + commit = b600bcc8c1092a1a98baea21690ce7982ab4f8a4 + parent = a60c70dca1d920ad88511f77be3ad186afab7bdb method = merge cmdver = 0.4.6