dc2f1f09b7
I couldn't find a good way to make an *empty* index file (zero byte file won't do), so I punted and just don't make index.lock when there's no index yet. This means some other git process could race and write an index file at the same time as the merge is ongoing, in theory. Only happens in new repos though. |
||
---|---|---|
.. | ||
patches | ||
tests | ||
cabal-wrapper | ||
changelog | ||
compat | ||
control | ||
copyright | ||
create-standalone-changelog | ||
doc-base | ||
git-annex.lintian-overrides | ||
menu | ||
NEWS | ||
rules |