This commit is contained in:
Joey Hess 2018-08-17 16:04:30 -04:00
parent 54d49eeac8
commit ab14d7cd9f
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38

View file

@ -0,0 +1,5 @@
Sleeping on that race from yesterday, I realized there is a way to fix it,
and have implemented the fix. It doubled the overhead of updating the
index, but that's worth it to not have a race condition to worry about.
This work is supported by the NSF-funded DataLad project.