
<html>


<head>


<meta http-equiv="Content-Type" content="text/html; charset=utf-8">


</head>


<body text="#000000" bgcolor="#FFFFFF">


<div class="moz-cite-prefix">On 18/12/2019 16:03, James Y Knight wrote:<br>


</div>


<blockquote type="cite" cite="mid:CAA2zVHpCVVZ4WgpgneSFu4j3x7VYO+Bag1PyCwSDXbPDm5grEw@mail.gmail.com">


<div dir="ltr">


<div class="gmail_quote">I'm suggesting to build the history the exact same way you are currently, and then simply merging it onto master with a single merge commit ("git merge --no-ff"), rather than "fast-forwarding" the entire set of commits. So this is not


 a benefit, it'd be the same either way.</div>


</div>


</blockquote>


<p>Ah, thanks for clarifying. I was imagining merging the 0-parent history. I agree with you.</p>


</body>


</html>