Skip to content

How to edit this documentation

The wiki is mkdocs. It uses Markdown syntax.


You can edit the docs/* pages by yourself. You have a button on each page to edit through github.

From Git (advanced)

This site is hosted by github.

Version Control

This site is version controlled using Git. Anyone can access its anonymous git repository:

$ git clone

Users with configured ssh keys can modify the git repository:

git clone