289881bdb8
See my comment in the bug report for analysis; basically this is safe because it's a non-forced push, so won't lose history. Even if it was a forced push or somehow races, things will eventually become consistent and no git-annex branch info will be lost. (This used to be done, but it forgot to do it since version 4.20130909.) |
||
---|---|---|
.. | ||
tests | ||
cabal-wrapper | ||
changelog | ||
compat | ||
control | ||
copyright | ||
doc-base | ||
menu | ||
NEWS | ||
rules |