diff options
author | Joey Hess <joey@kitenet.net> | 2011-12-02 16:59:55 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2011-12-02 16:59:55 -0400 |
commit | 251c01d51e22dc295359ba1f85144afc4c178e7a (patch) | |
tree | f8b19d157e09349194ffe40591250a72c16c8f30 /doc/git-annex.mdwn | |
parent | 7b08584c5553c22b322a2d9c268fda855666f4ce (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.mdwn | 5 |
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 ...] |