Closed thomas-albrecht closed 1 year ago
Thanks!
(For future reference, it may have been easier to simply git rebase
and git push -f
(force push) on your existing pull request.)
Thanks for the tip. I typically always just merge and never rebase. But that makes a lot of sense. I would have needed the -f because rebase messes with the history somehow.
Here is a new branch to fix #231