master: reserved for production only. The
masterbranch is synced with the Gitbook page for this manual and is only editable by maintainers of this repo.
masterwill automatically be reflected on Gitbook.
develop: the default branch used for development and content changes.
Create a new branch for this commit and start a pull requestand click on
Propose file change. This will direct you to the Pull request page
developbranch. We will not consider pull requests made to