Heya @martinklepsch since I am changing my strategy a bit for the URL fixups PR, I’m thinking a force push would make sense to better tell the story of the change. Either that, or I can close the PR and create a new one. Whatcha think?
Either would be fine with me. I guess it depends on whether you feel like there would be something you remove that would be worth preserving
Thanks @martinklepsch! Some stuff will be preserved, but I’ll just carry that over to the new PR where I’ll do a better job of splitting commits to help for a more digestible review.