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.

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

d2ir: Globs #1479

Merged
merged 15 commits into from
Jul 30, 2023
Merged

d2ir: Globs #1479

merged 15 commits into from
Jul 30, 2023

Commits on Jul 29, 2023

  1. Configuration menu
    Copy the full SHA
    359976e View commit details
    Browse the repository at this point in the history
  2. d2ir: Fix _ with null

    nhooyr committed Jul 29, 2023
    Configuration menu
    Copy the full SHA
    210816a View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    1217ff3 View commit details
    Browse the repository at this point in the history
  4. d2ir: Implement double globs

    nhooyr committed Jul 29, 2023
    Configuration menu
    Copy the full SHA
    d9b4b95 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    0d2b0aa View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    b119174 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    9566775 View commit details
    Browse the repository at this point in the history
  8. d2ir: Make globs case insensitive to match the rest of the language

    note: I personally wish to change the language and make it case sensitive.
    nhooyr committed Jul 29, 2023
    Configuration menu
    Copy the full SHA
    ff47a00 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    82663f0 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    63efa12 View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2023

  1. Configuration menu
    Copy the full SHA
    bd2c94f View commit details
    Browse the repository at this point in the history
  2. changelogs/next.md: Update

    nhooyr committed Jul 30, 2023
    Configuration menu
    Copy the full SHA
    73e4e68 View commit details
    Browse the repository at this point in the history
  3. d2ir: Make globs more ergonomic in two specific edge cases

    Were identified from @alixander writing documentation.
    nhooyr committed Jul 30, 2023
    Configuration menu
    Copy the full SHA
    9c37d6d View commit details
    Browse the repository at this point in the history
  4. d2ir: Make double globs work sanely across boards

    See test.
    nhooyr committed Jul 30, 2023
    Configuration menu
    Copy the full SHA
    6fdf4b0 View commit details
    Browse the repository at this point in the history
  5. d2ir: Glob review fixes

    nhooyr committed Jul 30, 2023
    Configuration menu
    Copy the full SHA
    6ca36e6 View commit details
    Browse the repository at this point in the history