@bitter-ability-32190 when was the new docsite last cut from the docs in pantsbuild/pants? Should we be scanning back for any docs PRs that we need to copy over?

About a week or two ago. The entire thing is scripted starting from scratch by downloading from readme.com. So at some point we ought to get 2.20 there so we can scrape it. And we'll likely re-scrape 2.18 and up one more time

Great!

I'm hoping sometimes this week we can create 2.20, and talk about when to make the big switch

Meanwhile, folks can check out the shiny new subdomain: https://docs.pantsbuild.org/