summaryrefslogtreecommitdiff
path: root/CmdLine
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2014-11-12 15:41:15 -0400
committerGravatar Joey Hess <joey@kitenet.net>2014-11-12 15:51:46 -0400
commitbb7571aeb4d4cd4920a7fe4b2538ce5a412f7603 (patch)
tree3a9f998c60fd1a4fc5bad999b11aa1d4e2c4df3b /CmdLine
parent708944448479a4c8a1d47ba6db96def92960ad36 (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.hs2
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