Modified 2018-12-26 by Gianmarco Bernasconi
The simplest way to contribute to the documentation is to click any of the “✎” icons next to the headers, in the book itself.
They link to the “edit” page in Github. There, one can make and commit the edits in only a few seconds.
Do your edits where appropriate.
You can check the outcome by clicking on
Preview changes, note that not all functionalities are visible by the preview. For large changes refer to Unit A-3 - Second method: local editing+docker.
Then after your edits, in the bottom part of the webpage, describe your commit and click on
Propose file change. When committing, please choose “create branch”.
Then, click on
Create pull request, as you probably don’t have rights to push directly.
Again you need to confirm that you want to open the pull request.
No questions found. You can ask a question on the website.