forget --drop-dead: Completely removes mentions of repositories that have been marked as dead from the git-annex branch.

Wrote nice pure transition calculator, and ugly code to stage its results
into the git-annex branch. Also had to split up several Log modules
that Annex.Branch needed to use, but that themselves used Annex.Branch.

The transition calculator is limited to looking at and changing one file at
a time. While this made the implementation relatively easy, it precludes
transitions that do stuff like deleting old url log files for keys that are
being removed because they are no longer present anywhere.

1 files changed, 6 insertions, 7 deletions

diff --git a/doc/git-annex.mdwn b/doc/git-annex.mdwn
index 5fb0ce5a4..269588add 100644
--- a/doc/git-annex.mdwn
+++ b/doc/git-annex.mdwn
@@ -482,17 +482,16 @@ subdirectories).
 * forget
 
   Causes the git-annex branch to be rewritten, throwing away historical
-  data about past locations of files, files that are no longer present on
-  any remote, etc. The resulting branch will use less space, but for
-  example `git annex log` will not be able to show where files used to
-  be located.
+  data about past locations of files. The resulting branch will use less
+  space, but `git annex log` will not be able to show where
+  files used to be located.
   
-  To also prune references to remotes that have been marked as dead,
-  specify --dead.
+  To also prune references to repositories that have been marked as dead,
+  specify --drop-dead.
 
   When this rewritten branch is merged into other clones of
   the repository, git-annex will automatically perform the same rewriting
-  to their local git-annex branch. So the forgetfulness will automatically
+  to their local git-annex branches. So the forgetfulness will automatically
   propigate out from its starting point until all repositories running
   git-annex have forgotten their old history. (You may need to force
   git to push the branch to any git repositories not running git-annex.