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

devblog

Browse source
This commit is contained in:
Joey Hess 2018-08-16 16:38:01 -04:00
parent 5799d325f0
commit b187bc9cc6
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 13 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
doc/devblog/day_511__v6_improved_index_update.mdwn Normal file
View file

@ -0,0 +1,13 @@
Found a better way to update the index after get/drop in v6 repositories.
I was able to close all the todos around that.
Only problem is there is a race where a modification that happens to a file
soon after get/drop gets unexpectedly staged by the index update. I made
this race's window as small as I reasonably can. Fully fixing it would
involve improvements to the git update-index interface, or another way to
update the index.
Only two todos remain in [[todo/smudge]] that
I want to fix in the remainder of this v6 sprint.
This work is supported by the NSF-funded DataLad project.