master
: reserved for production only. The master
branch is synced with the Gitbook page for this manual and is only editable by maintainers of this repo.master
will 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 request
and click on Propose file change
. This will direct you to the Pull request pagedevelop
branch. We will not consider pull requests made to master
.