From 134a2ec3f7affc808f8ba19ae5734bb8a47b1c30 Mon Sep 17 00:00:00 2001 From: xkszltl Date: Fri, 24 Jul 2020 01:21:09 +0800 Subject: [PATCH] Add `.git` suffix to URL because only GitHub itself works without it. (#2319) Fix https://github.com/pybind/pybind11/issues/2318 --- .gitmodules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitmodules b/.gitmodules index d063a8e89..4d698f93f 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ [submodule "tools/clang"] path = tools/clang - url = ../../wjakob/clang-cindex-python3 + url = ../../wjakob/clang-cindex-python3.git