Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Add framework for developer documentation #711
Well… it was time to call this one "good enough" ;-)
Initial release of the developer documentation, focusing on providing a structure and reusable elements (for content writers) and serving as a documentation hub (for developers), linking to relevant repositories and wiki pages for each topic.
Only a handful of actual documentation pages exist, and they're not the goal of this PR anyway – that's more sample content really to get the ideas about the structure across. Actual content can always be added/migrated later, in smaller followup PRs, for individual documentation sections.
To indicate the current work-in-progress state (which still is superior to e.g. Extend Jenkins IMO), includes tiny 'warning' icons in the developer documentation sidebar.
No screenshots because GitHub upload fails right now.
I think it's a good starting point, and don't really have any objections to merging it in its current condition