diff options
author | mitzip <mitzip@web> | 2015-05-27 21:19:41 +0000 |
---|---|---|
committer | admin <admin@branchable.com> | 2015-05-27 21:19:41 +0000 |
commit | d917958450f80be6ff05df26f8088f088077af5e (patch) | |
tree | e3ae2dff4bd60fe51a5b275ad1277eb2dac85786 | |
parent | 13047cce401774034e80d9cd6115dc2315993ac0 (diff) |
removed
-rw-r--r-- | doc/direct_mode/comment_19_cdf3062fb82078ad5677b82dc5933560._comment | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/doc/direct_mode/comment_19_cdf3062fb82078ad5677b82dc5933560._comment b/doc/direct_mode/comment_19_cdf3062fb82078ad5677b82dc5933560._comment deleted file mode 100644 index 1b82f87d1..000000000 --- a/doc/direct_mode/comment_19_cdf3062fb82078ad5677b82dc5933560._comment +++ /dev/null @@ -1,13 +0,0 @@ -[[!comment format=mdwn - username="mitzip" - subject="comment 19" - date="2015-05-27T20:20:11Z" - content=""" -Thanks for correcting that, and thanks for the git-revert suggestion! - -I have a question about the usage of git-revert for my purposes. I'm wanting to bring back a version of a file at a certain commit (not the whole commit) and I found this in the git docs... - ->Note: git revert is used to record some new commits to reverse the effect of some earlier commits (often only a faulty one). If you want to throw away all uncommitted changes in your working directory, you should see git-reset[1], particularly the --hard option. If you want to extract specific files as they were in another commit, you should see git-checkout[1], specifically the git checkout <commit> -- <filename> syntax. Take care with these alternatives as both will discard uncommitted changes in your working directory. - -That being said, should I still use `git revert` instead of `git checkout` because `git revert` will take care of making the new commit for me? -"""]] |