Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
[WIP] Docs via build script helper #55986
This change is based on top of #55893
Note: Docs team can look at/try this once it gets to a later stage as it touches scripts that they use. It is mostly code, though.