<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">Dear devs</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">I'm working on !8750, which has some knock-on changes that are needed on the Haddock repo.   So <br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><ul><li>in the main repo I have wip/T21623 <br></li><li>in the utils/haddock repo have branch wip/spj-T21623</li></ul>Periodically I need to rebase on master.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Question: what is the Blessed Sequence of Commands that I should use to push the right changes to haddock?  I think it is something like:</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><ol><li>In the main GHC repo, on branch wip/T21623<br></li><ol><li>git fetch</li><li>git rebase origin/master</li></ol><li>In utils/haddock, <br></li><ol><li>identify the set of patches P1..Pn between the trunk and my haddock tip, the changes that I need to haddock.</li><li>Somehow check out the haddock commit K that corresponds to origin/master</li><li>Apply P1..Pn on top of K</li><li>Force-push to origin/wip/spj-T21623<br></li></ol><li>Move to the main GHC repo</li><ol><li>git add utils/haddock</li><li>Create a patch for that change</li><li>Push to main repo</li></ol></ol><div><br></div><div>But I am not sure how to do step 2.2, nor what is an efficient way to do 2.3.</div><div><br></div><div>I would welcome very precise instructions.  Thank you!</div><div><br></div><div>Simon<br></div></div></div>