Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
chore: ensure new-docs are up to date (#5994)
* chore: ensure new-docs are up to date This adds a Travis check that if we re-generate the docs we get the exact output (by checking if the Git tree is dirty). We do the dirty check by using `git status --porcelain`, seeing how many lines that outputs, and using that as the exit code (taking only the first 255 lines to avoid invalid exit codes). `--porcelain` makes the output be empty if the repo is not dirty in anyway which translates into an exit code of 0. We can't use `git diff-index --quiet HEAD` as it exits with 0 if there are untracked files in the repo but we want that to cause a failure.
- Loading branch information