From 0487adc1d4350b4e6719229627cd0ee854f8c117 Mon Sep 17 00:00:00 2001 From: AztecBot Date: Mon, 27 Nov 2023 23:01:15 +0000 Subject: [PATCH] git subrepo push --branch=aztec noir subrepo: subdir: "noir" merged: "342e3e16c" upstream: origin: "https://github.com/noir-lang/noir" branch: "aztec" commit: "342e3e16c" git-subrepo: version: "0.4.6" origin: "???" commit: "???" [skip ci] --- noir/.gitrepo | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/noir/.gitrepo b/noir/.gitrepo index fccdf4c67fd..33444631e27 100644 --- a/noir/.gitrepo +++ b/noir/.gitrepo @@ -5,8 +5,8 @@ ; [subrepo] remote = https://github.com/noir-lang/noir - branch = master - commit = 90a63042d5b5eb2edf03378dff46ce75c9cb33ba - parent = 63173c45db127288bc4b079229239a650fc5d4be - method = pull + branch = aztec + commit = 342e3e16c10bb3970f9dbf2e82c4627ad25909c3 + parent = cabf7e48c3f4894e17a333311f959c5931a586c2 + method = merge cmdver = 0.4.6