From 00e88a546d6412a075c203267608d71ff89dbc0d Mon Sep 17 00:00:00 2001 From: "athas@60e56fd42a78bbbce444d175865ce4d66ba1a779" Date: Fri, 15 Oct 2021 16:13:32 +0000 Subject: [PATCH] Added a comment: Update --- .../comment_1_8cd28022fb5cc201e00c11b4f109fc12._comment | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 doc/forum/Submodule_.git_not_converted_to_symlink/comment_1_8cd28022fb5cc201e00c11b4f109fc12._comment diff --git a/doc/forum/Submodule_.git_not_converted_to_symlink/comment_1_8cd28022fb5cc201e00c11b4f109fc12._comment b/doc/forum/Submodule_.git_not_converted_to_symlink/comment_1_8cd28022fb5cc201e00c11b4f109fc12._comment new file mode 100644 index 0000000000..f092dd9821 --- /dev/null +++ b/doc/forum/Submodule_.git_not_converted_to_symlink/comment_1_8cd28022fb5cc201e00c11b4f109fc12._comment @@ -0,0 +1,9 @@ +[[!comment format=mdwn + username="athas@60e56fd42a78bbbce444d175865ce4d66ba1a779" + nickname="athas" + avatar="http://cdn.libravatar.org/avatar/f6ddda1fabf459f90ca590f9499033c4" + subject="Update" + date="2021-10-15T16:13:32Z" + content=""" +I have found a difference. The name of the submodule is `futhark-benchmarks`. On the checkout where `git-annex` works, a directory `.git/modules/futhark-benchmarks/annex` exists. On the checkout where `git-annex` does not work, this directory is missing. What could cause it to be lost? The repository that fails is checked out by Buildbot (and a similar issue occurs on GitHub Actions for that matter). Maybe they prune things they do not understand, somehow? +"""]]