Closed tomjaguarpaw closed 2 years ago
Thank you. Just to double-check: there were no conflicts, right? If so, once CI passes I will merge, so you can safely work on top of this PR.
Correct, no conflicts.
Oh dear, when I click the "command line instruction" link at the bottom, it seems that github wants to merge this into master
instead of into mikolaj/simplify
.
Oh, I thought that's why you wanted it rebased.
Well, feel free to close this pull request and instead use tomjaguarpaw/merge-simplify
in away way you choose to change mikolajsimplify
to your liking.
(I'm quite happy porting changes anywhere I make them to anywhere else, so don't worry about inconveniencing me.)
(I'm quite happy porting changes anywhere I make them to anywhere else, so don't worry about inconveniencing me.)
OK, sure. I just wanted to prevent you having to cherry-pick your commits, but there should be no conflicts, so that's indeed no big problem. I've done
git rebase master; git push -f
I'm closing the PR.
This is
mikolaj/simplify
rebased onmaster
. If you like it then please merge.