I realise. You should have done a `git rebase`, but that's not always trivial. If you had uploaded that original PR, the devs here would have happily guided you through the git magic...