chiark / gitweb /
pseudomerge: commentary about foreign apparently-pseudo merges
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 13:05:08 +0000 (14:05 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 13:05:08 +0000 (14:05 +0100)
article.tex
merge.tex
pseudomerge.tex

index 2ee3759..b37f9a5 100644 (file)
@@ -7,6 +7,7 @@
 \usepackage{amsfonts}
 \usepackage{eufrak}
 \usepackage{mdwlist}
+\usepackage{hyperref}
 %\usepackage{lastpage}
 %\usepackage{accents}
 
index 5bb0db2..881dd24 100644 (file)
--- a/merge.tex
+++ b/merge.tex
@@ -1,4 +1,5 @@
 \section{Merge}
+\label{commit-merge}
 
 Merge commits $L$ and $R$ using merge base $M$:
 \gathbegin
index 24c05ae..9ea2045 100644 (file)
@@ -45,6 +45,11 @@ $\isforeign{D} \implies \big[ D \le C \equiv D \le L \big]$.
 Trivial by Foreign Unaffected and the definition of $\pends$
 }
 
+It might seem that bare git commits might also be psuedo-merges ---
+e.g., merges made directly with {\tt git merge -s ours}.  However, by
+our definition of $\has$, these are considered simply as normal merges
+(\autoref{commit-merge}).
+
 \subsection{No Replay}
 
 Ingredients Prevent Replay applies: