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

thought

Browse source
This commit is contained in:
Joey Hess 2017-09-26 15:20:18 -04:00
parent 72ccdbf91d
commit 6cfbe33d88
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 21 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
doc/bugs/set_metadata_leaks_from_one___40__staged__41___key_to_another_during_rename_of_file/comment_3_10d6135ad4b0c9706ff7b932323118d3._comment Normal file
View file

@ -0,0 +1,21 @@
[[!comment format=mdwn
username="joey"
subject="""comment 3"""
date="2017-09-26T19:16:29Z"
content="""
Hmm, if the file was not already in the index, that could be taken to
indicate it was deleted/moved and replaced, rather than being modified,
and so don't copy the metadata.
But that would make these two sequences have different behavior:
git rm file; echo foo > file; git annex add file
echo foo > file; git annex add file
As well as these two sequences:
git mv file other; echo foo > file; git annex add file
cp file other; echo foo > file; git annex add file other
"""]]