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

Explain how to name rule identifiers #1609

Merged
merged 8 commits into from
Oct 3, 2024
Merged

Explain how to name rule identifiers #1609

merged 8 commits into from
Oct 3, 2024

Commits on Sep 10, 2024

  1. Explain how to name rule identifiers

    @chorman0773
    chorman0773 committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    c17f60c View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2024

  1. Apply suggestions from code review 

    Co-authored-by: Travis Cross <[email protected]>
    @chorman0773 @traviscross
    chorman0773 and traviscross authored Sep 19, 2024
    Configuration menu
    Copy the full SHA
    06c1d98 View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2024

  1. Remove restriction and constraint keywords

    @chorman0773
    chorman0773 committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    8912726 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2024

  1. Apply requested changes from T-lang/docs

    @chorman0773
    chorman0773 committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    d628425 View commit details
    Browse the repository at this point in the history

  2. Document naming conventions for admonition identifiers

    @chorman0773
    chorman0773 committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    d032fa8 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2024

  1. Fix typos and formatting.

    @ehuss
    ehuss committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    d78728d View commit details
    Browse the repository at this point in the history

  2. Remove "version history" 

    We have not specifically decided on including version information, or
how it will be done.
    @ehuss
    ehuss committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    3c7523f View commit details
    Browse the repository at this point in the history

  3. Remove "singular forms" 

    We don't agree on this particular point, as we have been using plurals
almost everywhere. There are also some subtle complexities with what the
specific guidelines might be.
    @ehuss
    ehuss committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    0ab2181 View commit details
    Browse the repository at this point in the history