No description, website, or topics provided.
JavaScript CSS
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
website Removed GA tracking Aug 9, 2018


Editing an existing page

All documentation is kept as markdown files in the docs folder. Simply locate the file you want, change it and create a Pull Request. Once reviewed and merged your changes will be live.

Adding a new page

Creating a new page requires you to:

  • create a new markdown file in docs folder
  • reference it somewhere (in the index, menu or another page)

It's probably a good idea to locally validate your changes before creating a Pull Request.

To run the site locally, follow these instructions:

git clone
cd website/
npm install
npm run start

This site is built with Docusaurus, go there to learn more.

Continous Deployment

To make possible deploying the new version of the page from the master branch a Jenkins job is configured at:

This job is run according to the Jenkinsfile configuration. In order for this to work there are two requirements: