Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Don't update the docs version by default
This was leading to a lot of unnecessary churn in the config file since different YAML versions were serializing differently.
- Loading branch information