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]
AztecProtocol · Oct 18, 2023 · 8610083 · 8610083
1 parent 4c85640
commit 8610083
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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