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

Skip redundant tag deduplication #3902

Open
wants to merge 4 commits into
base: main
Choose a base branch
from

Commits on Nov 21, 2024

  1. Skip redundant tag deduplication

    Both `KeyValues` and `Tags` unconditionally maintain the invariant that
    they wrap distinct key-value pairs.
    Stephan202 committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    8004e47 View commit details
    Browse the repository at this point in the history
  2. Address feedback

    Stephan202 committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    842e7da View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    3b28862 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    7df3f70 View commit details
    Browse the repository at this point in the history