Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

chore: ensure new-docs are up to date #5994

Merged
merged 2 commits into from Jun 11, 2020
Merged

chore: ensure new-docs are up to date #5994

merged 2 commits into from Jun 11, 2020

Commits on Jun 10, 2020

  1. 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.
    @jackfranklin
    jackfranklin committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    d6e16cf View commit details
    Browse the repository at this point in the history

  2. fix nested syntax

    @jackfranklin
    jackfranklin committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    eb45a15 View commit details
    Browse the repository at this point in the history