Before we merge, read this including the suggestion for homework at the end.
I started from the HEAD at 129ad55f, merge of PR 167 and revert 5 commits, including two merge commits, to get back to the head after the merge of PR 165 (SHA 5c530a99) . The commands were
Before we merge, read this including the suggestion for homework at the end.
I started from the HEAD at 129ad55f, merge of PR 167 and revert 5 commits, including two merge commits, to get back to the head after the merge of PR 165 (SHA 5c530a99) . The commands were
Following this I did: git diff 5c530a99
Which gave an exact match.
I did a trial merge which I think did the right thing but I am not 100% sure.
Suggestion for Dave;
If all goes we merge this and you reopen your PR (or make a new one).