is it on purpose that the dev docs are not in the ...
# development
c
is it on purpose that the dev docs are not in the dropdown? https://www.pantsbuild.org/2.20/docs/introduction/welcome-to-pants
1
and just seconds later, I spot this, which seems to answer it: https://github.com/pantsbuild/pantsbuild.org/pull/155#issuecomment-1949594380 😜
b
We can change that. That was just the thinking of the hour
h
Yeah, I was considering changing that (but not making it the default)
c
yea.. I was just surprised to not see it, as first I thought it wasn't available.. but then I just tried the URL manually and it worked, so... guess it depends on how much we want to promote the dev version of the docs. Could be a good idea to help catch typos and review new docs earlier perhaps.. 🙂
b
I wonder if we should include it, to make it easier/simpler for people to do pre-release validation of new features, without having to wait for it to reach RC
👍 2
(I filed https://github.com/pantsbuild/pantsbuild.org/issues/159 to track this more durably)