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

Organize standards #546

Merged
merged 5 commits into from
May 18, 2024
Merged

Organize standards #546

merged 5 commits into from
May 18, 2024

Commits on May 17, 2024

  1. List standards manually (not using list layout) in two groups

    @peterdesmet
    peterdesmet committed May 17, 2024
    Configuration menu
    Copy the full SHA
    4ec6d97 View commit details
    Browse the repository at this point in the history

  2. Rename link externally-managed to external + indicate in nav

    @peterdesmet
    peterdesmet committed May 17, 2024
    Configuration menu
    Copy the full SHA
    f6de601 View commit details
    Browse the repository at this point in the history

  3. Correct typo

    @peterdesmet
    peterdesmet committed May 17, 2024
    Configuration menu
    Copy the full SHA
    1ff452d View commit details
    Browse the repository at this point in the history

  4. Use short title for headers to have easier navigation 

    Each standard now has:

## Short title

[Full title](link to page)
or
[Full title](link to page) maintained by ...
    @peterdesmet
    peterdesmet committed May 17, 2024
    Configuration menu
    Copy the full SHA
    182f91e View commit details
    Browse the repository at this point in the history

  5. Link to externally maintained page

    @peterdesmet
    peterdesmet committed May 17, 2024
    Configuration menu
    Copy the full SHA
    be6d354 View commit details
    Browse the repository at this point in the history