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

Add support for user labels #1434

Merged
merged 8 commits into from
Jun 10, 2024
Merged

Commits on Jun 6, 2024

  1. Add support for user labels

    micahmo committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    c5e9aef View commit details
    Browse the repository at this point in the history
  2. Reformat auto-gen db file

    micahmo committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    d256ded View commit details
    Browse the repository at this point in the history
  3. Fix tests

    micahmo committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    bc4300c View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2024

  1. Configuration menu
    Copy the full SHA
    c8e30c5 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    ed49a7f View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    bfc526f View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    bc854ac View commit details
    Browse the repository at this point in the history
  5. Add downgrade strategy

    micahmo committed Jun 9, 2024
    Configuration menu
    Copy the full SHA
    1609c92 View commit details
    Browse the repository at this point in the history