Re: [PATCH 17/18] branch-diff: add a man page

Hi Eric,

On Thu, 3 May 2018, Eric Sunshine wrote:

On Thu, May 3, 2018 at 11:31 AM, Johannes Schindelin
[off-list ref] wrote:

quoted

This is a heavily butchered version of the README written by Thomas
Rast and Thomas Gummerer, lifted from https://github.com/trast/tbdiff.

Signed-off-by: Johannes Schindelin <redacted>
---

diff --git a/Documentation/git-branch-diff.txt b/Documentation/git-branch-diff.txt

@@ -0,0 +1,239 @@
+Algorithm
+---------
+
+The general idea is this: we generate a cost matrix between the commits
+in both commit ranges, then solve the least-cost assignment.
+
+To avoid false positives (e.g. when a patch has been removed, and an
+unrelated patch has been added between two iterations of the same patch
+series), the cost matrix is extended to allow for that, by adding
+fixed-cost entries for wholesale deletes/adds.
+
+Example: let commits `1--2` be the first iteration of a patch series and

s/let/Let/

Okay. I am always a little bit fuzzy on the question whether to continue
lower-case or upper-case after a colon or semicolon.

Ciao,
Dscho