git subrepo push --branch=aztec-packages noir

subrepo:
  subdir:   "noir"
  merged:   "9debf5c0d"
upstream:
  origin:   "https://github.com/noir-lang/noir"
  branch:   "aztec-packages"
  commit:   "9debf5c0d"
git-subrepo:
  version:  "0.4.6"
  origin:   "???"
  commit:   "???" [skip ci]

noir/.gitrepo

@@ -6,7 +6,7 @@
 [subrepo]
 	remote = https://github.com/noir-lang/noir
 	branch = aztec-packages
-	commit = 914403de346ece6118c46abe0403d881fafd4d9b
-	parent = 3720415c8bf2b6f3292d961795eb13f08cb9dff5
+	commit = 9debf5c0d16caac658e851dc024e92f7dd72adcb
+	parent = ccb7bff8e16ea9c8bc4bd48754db59857137507e
 	method = merge
 	cmdver = 0.4.6