diff options
| author |  http://joeyh.name/ <http://joeyh.name/@web> | 2014-03-26 18:56:30 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2014-03-26 18:56:30 +0000 |
| commit | 88cd93ea547a69f43f36658707a00c9ddc659831 (patch) | |
| tree | 43eca5063658a936b2d8b0a18e7186b4a0c80d7a /doc/automatic_conflict_resolution | |
| parent | e9271fa1f34b3b515daf3b1be3560016c40a4b6f (diff) | |
Added a comment
Diffstat (limited to 'doc/automatic_conflict_resolution')
| -rw-r--r-- | doc/automatic_conflict_resolution/comment_5_00ac9e4a47ce9a886dbf573480f151bd._comment | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/automatic_conflict_resolution/comment_5_00ac9e4a47ce9a886dbf573480f151bd._comment b/doc/automatic_conflict_resolution/comment_5_00ac9e4a47ce9a886dbf573480f151bd._comment new file mode 100644 index 000000000..4d1e7c4bc --- /dev/null +++ b/doc/automatic_conflict_resolution/comment_5_00ac9e4a47ce9a886dbf573480f151bd._comment @@ -0,0 +1,10 @@ +[[!comment format=mdwn + username="http://joeyh.name/" + ip="209.250.56.41" + subject="comment 5" + date="2014-03-26T18:56:30Z" + content=""" +@Matthias you need to install git-annex 4.20130709 or newer. Then `git-annex merge` will do what you want. As I said before. + +As for committing the merge, you can always adjust the result after the fact and use `git commit --amend`. +"""]] |