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

Some bugs are repeated multiple times in the bugs DB #4670

Closed
marco-c opened this issue Dec 7, 2024 · 1 comment · Fixed by #4672
Closed

Some bugs are repeated multiple times in the bugs DB #4670

marco-c opened this issue Dec 7, 2024 · 1 comment · Fixed by #4672
Assignees
Labels
bug Something isn't working

Comments

@marco-c
Copy link
Collaborator

marco-c commented Dec 7, 2024

For example, 1815806.

@marco-c
Copy link
Collaborator Author

marco-c commented Dec 7, 2024

Even after the fix from #4672, the duplicated that are currently in the DB will stay there. Maybe we can introduce something in bug_retriever to remove duplicates, or we can do something one-off.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant