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

Reverse distribution #2050

Merged
merged 3 commits into from
Nov 6, 2024
Merged

Reverse distribution #2050

merged 3 commits into from
Nov 6, 2024

Conversation

Kr0nox
Copy link
Member

@Kr0nox Kr0nox commented Nov 3, 2024

Reverses the distribution in the overview.json

This was originaly planned as part of #1396 but was moved to its own PR, to keep the size of the PR for new similarity metrics low

@Kr0nox Kr0nox requested review from TwoOfTwelve and a team November 4, 2024 07:32
Copy link

sonarcloud bot commented Nov 4, 2024

Copy link

sonarcloud bot commented Nov 4, 2024

@tsaglam tsaglam added enhancement Issue/PR that involves features, improvements and other changes minor Minor issue/feature/contribution/change report-viewer PR / Issue deals (partly) with the report viewer and thus involves web-dev technologies labels Nov 6, 2024
@tsaglam tsaglam merged commit 27cd733 into develop Nov 6, 2024
55 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Issue/PR that involves features, improvements and other changes minor Minor issue/feature/contribution/change report-viewer PR / Issue deals (partly) with the report viewer and thus involves web-dev technologies
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants