From f8671069cd5f7ea54743e1007f2c26acfd0c80ad Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nuke=20=F0=9F=8C=84?= Date: Tue, 2 Jul 2024 12:14:07 -0600 Subject: [PATCH] Remove incorrect branch on .gitmodules (#126) https://stackoverflow.com/questions/8044583/how-can-i-move-a-tag-on-a-git-branch-to-a-different-commit states we cannot use tags, so this branch = tag is broken. Instead of updating here, we will manage commits for sub-modules manually and locked into the tags/releases for known working versions (in #124 ) --- .gitmodules | 1 - 1 file changed, 1 deletion(-) diff --git a/.gitmodules b/.gitmodules index 49aee5b..91e67e2 100644 --- a/.gitmodules +++ b/.gitmodules @@ -7,4 +7,3 @@ [submodule "lib/risc0-ethereum"] path = lib/risc0-ethereum url = https://github.com/risc0/risc0-ethereum - branch = v1.0.0-rc.6