Fork me on GitHub
#cljdoc
<
2020-09-17
>
lread17:09:40

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?

martinklepsch12:09:53

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

lread13:09:53

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.