diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-11-12 15:41:15 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-11-12 15:51:46 -0400 |
| commit | bb7571aeb4d4cd4920a7fe4b2538ce5a412f7603 (patch) | |
| tree | 3a9f998c60fd1a4fc5bad999b11aa1d4e2c4df3b /doc/todo/direct_mode_undo.mdwn | |
| parent | 708944448479a4c8a1d47ba6db96def92960ad36 (diff) | |
proxy: for all your direct mode repository munging needs
This allows bypassing the direct mode guard in a safe way to do all sorts
of things including git revert, git mv, git checkout ...
This commit was sponsored by the WikiMedia Foundation.
Diffstat (limited to 'doc/todo/direct_mode_undo.mdwn')
| -rw-r--r-- | doc/todo/direct_mode_undo.mdwn | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/todo/direct_mode_undo.mdwn b/doc/todo/direct_mode_undo.mdwn index 82ea78672..7d719c74b 100644 --- a/doc/todo/direct_mode_undo.mdwn +++ b/doc/todo/direct_mode_undo.mdwn @@ -37,6 +37,10 @@ better to make it use a separate work tree, but the same .git directory? Then step #3 would instead update the direct mode work tree to refect the new HEAD, and step #4 would not be needed. +> This is done.. But, I think an undo command would also be good +> to do, as a nicer user interface that can integrate well with a file +> manager. --[[Joey]] + ## git annex undo I don't want to recapitulate all of the git commands in git-annex for |