The user's guide for Gitpod using mdbook. Published to https://docs.gitpod.io
mdbook build && mdbook test
- push contents to branch "master"
- this will trigger an internal job that runs the build commands and makes the generated documentation available on https://docs.gitpod.io/