best commits to git-annex are cherry-picked to here to feed tip4commit