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 /CmdLine | |
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 'CmdLine')
-rw-r--r-- | CmdLine/GitAnnex.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CmdLine/GitAnnex.hs b/CmdLine/GitAnnex.hs index 5f5d4a151..2fca855e0 100644 --- a/CmdLine/GitAnnex.hs +++ b/CmdLine/GitAnnex.hs @@ -83,6 +83,7 @@ import qualified Command.Direct import qualified Command.Indirect import qualified Command.Upgrade import qualified Command.Forget +import qualified Command.Proxy import qualified Command.Version import qualified Command.Help #ifdef WITH_ASSISTANT @@ -175,6 +176,7 @@ cmds = concat , Command.Indirect.cmd , Command.Upgrade.cmd , Command.Forget.cmd + , Command.Proxy.cmd , Command.Version.cmd , Command.Help.cmd #ifdef WITH_ASSISTANT |