Jacob: Discuss documentation PR workflow

[jshoughtaling]

Meeting: November 15, 2025

Action: Jacob and Jared to discuss documentation PR workflow and potential merge conflicts.

Details:

• Jacob had been working on documentation build process in parallel
• Mega PR now merged to main
• Need to discuss cherry-picking from Jacob's branch
• Discuss centralized documentation approach

Timeline: Offline discussion or next week's meeting

Status: Blocked/pending discussion (issue #409)

Labels: documentation, coordination, task

[TheCedarPrince]

Hey @jshoughtaling , just following up on this! I am making a new branch based on the current state of the repo and migrate some changes over from that old PR I had made. I am going to close #419 in favor of the new PR. I migrated your changes into my branch and am going to see where I can update what you added. Any other thoughts here @jshoughtaling ?