mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Added a comment

Browse source
This commit is contained in:
DavidD 2023-04-17 15:27:49 +00:00 committed by admin
parent d1fbc8744f
commit c80994c86b
1 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
doc/submodules/comment_4_9da0d19529dfb8a997ad469169e55895._comment Normal file
View file

@ -0,0 +1,8 @@
[[!comment format=mdwn
username="DavidD"
avatar="http://cdn.libravatar.org/avatar/9e7cced3eede4bf75fb932bfdd4f8847"
subject="comment 4"
date="2023-04-17T15:27:49Z"
content="""
I might have this wrong, but I thought git also put things into `$repo/.git/...`? If git can figure out that the `.git` file points to the actual location of the `.git` folder (in the parent repo) than I would think that git annex can conclude this as well. Again, I don't know how the guts of git annex works, so there is possibly other considerations that I am missing.
"""]]