Note, I've updated https://www.pantsbuild.org/docs/contributor-overview with the new requirement to add a

category:

label to each PR.