diff options
| author |  mih <mih@web> | 2016-03-02 19:30:49 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2016-03-02 19:30:49 +0000 |
| commit | 6ac111e2f0aae5a0295af36f6a58a85dbcf0b829 (patch) | |
| tree | 860fb78ee9df5f79ed7127e5b21f1cb0a1223d7c | |
| parent | 3385a36c0a5211e1bfdf743e81eef405c1419639 (diff) | |
Added a comment: Thanks
| -rw-r--r-- | doc/bugs/git-annex_confuses_Git_with_nested_submodules/comment_4_4bcd571dcd6c1e709e83e519135519b3._comment | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/bugs/git-annex_confuses_Git_with_nested_submodules/comment_4_4bcd571dcd6c1e709e83e519135519b3._comment b/doc/bugs/git-annex_confuses_Git_with_nested_submodules/comment_4_4bcd571dcd6c1e709e83e519135519b3._comment new file mode 100644 index 000000000..d663f3370 --- /dev/null +++ b/doc/bugs/git-annex_confuses_Git_with_nested_submodules/comment_4_4bcd571dcd6c1e709e83e519135519b3._comment @@ -0,0 +1,9 @@ +[[!comment format=mdwn + username="mih" + subject="Thanks" + date="2016-03-02T19:30:49Z" + content=""" +Thanks for investigating this further. + +One aspect that may make switching the location of the .git directory into the worktree of the submodule less desirable is this: With the actual .git in ../.git/modules/... one can easily rm -rf the submodule, deinit it, and re-init/update from the (still present) ../.git/modules/... at a later point in time. Especially, when a submodule is a more complicated beast (e.g. with multiple configured remotes) the required steps to regenerate the same setup get more complex. +"""]] |