diff options
| -rw-r--r-- | doc/direct_mode/comment_18_e46f70efa6d8d65d5ef81cdcbd844869._comment | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/direct_mode/comment_18_e46f70efa6d8d65d5ef81cdcbd844869._comment b/doc/direct_mode/comment_18_e46f70efa6d8d65d5ef81cdcbd844869._comment index 2aeb3eca4..ed9d01651 100644 --- a/doc/direct_mode/comment_18_e46f70efa6d8d65d5ef81cdcbd844869._comment +++ b/doc/direct_mode/comment_18_e46f70efa6d8d65d5ef81cdcbd844869._comment @@ -6,5 +6,8 @@ This page mentioned a --depth option, but no, it was never implemented. I have updated this page. +If you need something simpler than the basic undo, you can use `git annex +proxy` to run eg, a `git revert`. + (Deleted a forum thread that duplicated the previous comment.) """]] |