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

Make all heading levels consistent #1080

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Make all heading levels consistent #1080

wants to merge 2 commits into from

Commits on May 31, 2024

  1. Make all heading levels consistent 

    Previously, levels of headings were used inconsistently across the
documents, which made automated export to other formats complicated.
With this change, all documents have single level 1 heading (title of
the document) and all other headings are at least level 2.
    @jirijakes
    jirijakes committed May 31, 2024
    Configuration menu
    Copy the full SHA
    8f2c871 View commit details
    Browse the repository at this point in the history

  2. Add markdown linting to GitHub workflow 

    Commit introduces initial set of rules for checking formatting of
markdown files as part of GitHub workflow. The rules are:

  - first line is top-level heading
  - there is only one top-level heading in the document
    @jirijakes
    jirijakes committed May 31, 2024
    Configuration menu
    Copy the full SHA
    cc542cc View commit details
    Browse the repository at this point in the history