Question re pantsbuild.org doc site + releases: Here is what we say we do: https://www.pantsbuild.org/docs/release-process#dev0---set-up-the-new-version IIRC we do not actually do this for some actual reason and not just forgetting.