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 the precise field of a source an Enum #12849

Merged
merged 5 commits into from
Oct 19, 2023
Merged

Make the precise field of a source an Enum #12849

merged 5 commits into from
Oct 19, 2023

Commits on Oct 19, 2023

  1. helpers to check if precise is set

    @Eh2406
    Eh2406 committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    4720824 View commit details
    Browse the repository at this point in the history

  2. helper to check if precise is the same

    @Eh2406
    Eh2406 committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    8e3caf6 View commit details
    Browse the repository at this point in the history

  3. helper to copy a precise from a source

    @Eh2406
    Eh2406 committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    fe0ac50 View commit details
    Browse the repository at this point in the history

  4. remove some dead code

    @Eh2406
    Eh2406 committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    939ebc0 View commit details
    Browse the repository at this point in the history

  5. precise as enum not string

    @Eh2406
    Eh2406 committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    fa94b11 View commit details
    Browse the repository at this point in the history