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

Codebase server: Dedupe /find results #2322

Merged
merged 1 commit into from
Aug 13, 2021
Merged

Codebase server: Dedupe /find results #2322

merged 1 commit into from
Aug 13, 2021

Conversation

hojberg
Copy link
Member

@hojberg hojberg commented Aug 13, 2021

Overview

Remove duplicate definition entries in the /find results. We don't
want to see the same definition twice when it has multiple names. Name
information can be gained with a subsequent request.

Notes

The plan is for the frontend to have a tooltip treatment that shows multiple names when they exists
in the Finder.

Remove duplicate definition entries in the `/find` results. We don't
want to see the same definition twice when it has multiple names. Name
information can be gained with a subsequent request.
@hojberg hojberg force-pushed the dedupe-find-results branch from cd97e6c to b7f1a03 Compare August 13, 2021 14:47
@pchiusano pchiusano added the ready-to-merge Apply this to a PR and it will get merged automatically once CI passes and 1 reviewer has approved label Aug 13, 2021
@mergify mergify bot merged commit f195909 into trunk Aug 13, 2021
@mergify mergify bot deleted the dedupe-find-results branch August 13, 2021 16:43
@mergify mergify bot removed the ready-to-merge Apply this to a PR and it will get merged automatically once CI passes and 1 reviewer has approved label Aug 13, 2021
@pchiusano pchiusano mentioned this pull request Aug 20, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants