From 1f8d6543cef25f60a2902fa134a71f936807a007 Mon Sep 17 00:00:00 2001 From: "athas@60e56fd42a78bbbce444d175865ce4d66ba1a779" Date: Fri, 15 Oct 2021 16:21:07 +0000 Subject: [PATCH] removed --- .../comment_1_8cd28022fb5cc201e00c11b4f109fc12._comment | 9 --------- 1 file changed, 9 deletions(-) delete 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 deleted file mode 100644 index f092dd9821..0000000000 --- a/doc/forum/Submodule_.git_not_converted_to_symlink/comment_1_8cd28022fb5cc201e00c11b4f109fc12._comment +++ /dev/null @@ -1,9 +0,0 @@ -[[!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? -"""]] -- 2.30.2