🧵 on JVM documentation. I'd like to (1) rename that category to "JVM" instead of "Java & Scala" (since we have Kotlin); (2) split the

jvm-overview.md

into Java and Scala specific pages; and (3) move BSP to its own page. Thoughts?

I think these are great ideas! I'm not certain how we handle renaming categories with Readme.com..I suspect we do it in their editor, then update each pages's metadata block & filesystem location to line up correctly

I don't think you need to update the front matter, since it doesn't contain categories

true. I think the file org might matter the, like how subdirectories are set up etc

I'm not sure about that. I initially thought so too, but now I think the structure has to pre-exist.

how are docs currently synced to readme?

Existing docs have their ID in the front matter, so the rdme tool takes care of it. But new docs don't have an ID or category yet, so there is an annoying dance where you have to create them on the web first.

But what script does the sync?

nothing, we manually run it: https://github.com/pantsbuild/pants/blob/main/docs/NOTES.md