diff options
| author |  https://www.google.com/accounts/o8/id?id=AItOawl9sYlePmv1xK-VvjBdN-5doOa_Xw-jH4U <Richard@web> | 2011-04-01 10:47:49 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2011-04-01 10:47:49 +0000 |
| commit | 2f814eb0be5bb8c9d4e99e00e7ca2998649a4d9f (patch) | |
| tree | 1a72e7f99f31716280ce66445c724eea411cedd8 | |
| parent | f003603e8cc191efbba31b1f19b0086cd374635f (diff) | |
| -rw-r--r-- | doc/bugs/git_annex_copy_--fast_does_not_copy_files.mdwn | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/bugs/git_annex_copy_--fast_does_not_copy_files.mdwn b/doc/bugs/git_annex_copy_--fast_does_not_copy_files.mdwn index 1a5953836..ada844a14 100644 --- a/doc/bugs/git_annex_copy_--fast_does_not_copy_files.mdwn +++ b/doc/bugs/git_annex_copy_--fast_does_not_copy_files.mdwn @@ -5,7 +5,7 @@ Workflow: % git commit -a -m "foo" # commit summary % git annex copy . --to remote --fast - # all files listed with "ok + # all files listed with "ok" % git annex copy . --to remote # again, lists all files, _but the new ones are actually copied, this time_. @@ -14,3 +14,5 @@ This happens no matter if I % git push before copy or not. + +PS: Arguably, a copy should push automagically. |