diff --git a/.gitmodules b/.gitmodules index 91b7153..dd16605 100644 --- a/.gitmodules +++ b/.gitmodules @@ -30,3 +30,7 @@ path = examples/clang-tidy/sillycode url = ssh://git@focs.ji.sjtu.edu.cn:2222/FOCS-dev/JOJ3-examples.git branch = clang-tidy/sillycode +[submodule "examples/clangtidy/sillycode"] + path = examples/clangtidy/sillycode + url = ssh://git@focs.ji.sjtu.edu.cn:2222/FOCS-dev/JOJ3-examples.git + branch = clangtidy/sillycode diff --git a/examples/clang-tidy/sillycode b/examples/clangtidy/sillycode similarity index 100% rename from examples/clang-tidy/sillycode rename to examples/clangtidy/sillycode