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

Introduce internal report IDs for identity comparisons #1421

Merged
merged 4 commits into from
Sep 11, 2024
Merged

Introduce internal report IDs for identity comparisons #1421

merged 4 commits into from
Sep 11, 2024

Commits on Sep 10, 2024

  1. Rename report ID to external ID 

    To make the primary purpose of this field clear and to free up the
existing name for use with an internal ID like that of sources.
    @apasel422
    apasel422 committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    1931f49 View commit details
    Browse the repository at this point in the history

  2. Introduce internal report ID and restrict external one to report seri… 

    …alization
    @apasel422
    apasel422 committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    50287dd View commit details
    Browse the repository at this point in the history

  3. Rename source identifier to source ID

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

  4. Typo

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