Skip to content

Contributing to

The source for is in a github repository.

The site is created using MkDocs. which takes Markdown documents and turns them into a static website that can be accessed from a filesystem or served from a web server.

To update or add new content to the site you need to

  • fork the repository in your own GitHub account
    • it important to leave the repo name as in your GitHub account if you want to use Che/CodeReady Containers to modify the content
  • make the changes in your local repository
  • create a pull request to deliver the updates to the primary repository.

The site is created using MkDocs with the Materials theme theme.

Updating the site

To make changes to the site. Create a pull request to deliver the changes in your fork of the repo to the main branch of the repo. Before creating a pull request you should run the build script and verify there are no spelling mistakes or broken links. Details on how to do this can be found at the end of the instructions for setting up a documentation environment

Github automation is used to generate the site then publish to GitHub pages, which serves the site. If your changes contain spelling issues or broken links, then the automation will fail and the GitHub pages site will not be updated, so please do a local test using the script before creating the pull request.