diff options
author | 2013-10-16 14:48:51 -0400 | |
---|---|---|
committer | 2013-10-16 14:56:40 -0400 | |
commit | a40e203f23a87bbc6d362d33734f1e4dcf645871 (patch) | |
tree | 5c68f1b7c21f2c67368704be0a253b816cb37074 /Usage.hs | |
parent | 1a5c87f05e890782b8fcd922b608f177ed7d54bc (diff) |
sync: Fix automatic resolution of merge conflicts where one side is an annexed file, and the other side is a non-annexed file, or a directory.
Note that this case is only fully automatically resolved in direct mode.
In indirect mode, git merge moves the file to file~HEAD, and replaces it
with the directory, and leaves the file in unmerged state, and sync doesn't
yet change that.
Diffstat (limited to 'Usage.hs')
0 files changed, 0 insertions, 0 deletions