comment and retitle

This commit is contained in:
Joey Hess 2022-11-09 15:18:28 -04:00
parent 94ee608b2e
commit cdbee87a05
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
2 changed files with 21 additions and 0 deletions

View file

@ -393,3 +393,5 @@ ok
### Have you had any luck using git-annex before? (Sometimes we get tired of reading bug reports all day and a lil' positive end note does wonders)
Thank you for all your work making this wonderful tool!
[[!meta title="export tree sometimes does not delete removed git files"]]

View file

@ -0,0 +1,19 @@
[[!comment format=mdwn
username="joey"
subject="""comment 2"""
date="2022-11-09T19:15:59Z"
content="""
Interestingly, it does not happen in simpler situations:
$ git checkout 1.0.0
$ git-annex export 1.0.0 --to d
$ git rm sub-000101/ses-baseline/pet/sub-000101_ses-baseline_rec-MLEM_pet.json
$ git commit -m removed
$ git-annex export HEAD --to d
unexport d sub-000101/ses-baseline/pet/sub-000101_ses-baseline_rec-MLEM_pet.json ok
$ ls ../d/sub-000101/ses-baseline/pet/sub-000101_ses-baseline_rec-MLEM_pet.json
ls: cannot access '../d/sub-000101/ses-baseline/pet/sub-000101_ses-baseline_rec-MLEM_pet.json': No such file or directory
So something about the diff between 1.0.0 and 1.0.1 is somehow causing the
bug..
"""]]