summaryrefslogtreecommitdiff
path: root/doc/git-annex.mdwn
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2011-12-02 16:59:55 -0400
committerGravatar Joey Hess <joey@kitenet.net>2011-12-02 16:59:55 -0400
commit251c01d51e22dc295359ba1f85144afc4c178e7a (patch)
treef8b19d157e09349194ffe40591250a72c16c8f30 /doc/git-annex.mdwn
parent7b08584c5553c22b322a2d9c268fda855666f4ce (diff)
dead: A command which says that a repository is gone for good and you don't want git-annex to mention it again.
Diffstat (limited to 'doc/git-annex.mdwn')
-rw-r--r--doc/git-annex.mdwn5
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/git-annex.mdwn b/doc/git-annex.mdwn
index e98c89fe3..9df5c3c6d 100644
--- a/doc/git-annex.mdwn
+++ b/doc/git-annex.mdwn
@@ -173,6 +173,11 @@ subdirectories).
Returns a repository to the default semi trusted state.
+* dead [repository ...]
+
+ Indicates that the repository has been irretrevably lost.
+ (To undo, use semitrust.)
+
# REPOSITORY MAINTENANCE COMMANDS
* fsck [path ...]