From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 11 Mar 2012 11:23:59 +0000 (+0000)
Subject: Mention that simple commit justification applies to tb export too
X-Git-Tag: f0.2~105
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=71f18d98f82d4ba454e875c79119879d3dc957ed

Mention that simple commit justification applies to tb export too
---

diff --git a/article.tex b/article.tex
index 862403f..afefebd 100644
--- a/article.tex
+++ b/article.tex
@@ -335,6 +335,8 @@ A simple single-parent forward commit $C$ as made by git-commit.
 \tag*{} \patchof{C} = \patchof{A} \\
 \tag*{} D \isin C \equiv D \isin A \lor D = C
 \end{gather}
+This also covers Topbloke-generated commits on plain git branches:
+Topbloke strips the metadata when exporting.
 
 \subsection{No Replay}
 Trivial.