Skip to content

Conversation

@errt
Copy link
Collaborator

@errt errt commented Oct 21, 2025

BugPicker has not been part of OPAL's builds since 2017 and has no real use case anymore.

@errt errt added this to the Release 8.0.0 milestone Oct 21, 2025
@errt errt requested a review from johannesduesing October 21, 2025 14:14
@errt errt force-pushed the removal/bug-picker branch from 5d0096b to c813430 Compare December 16, 2025 13:48
@errt errt marked this pull request as ready for review December 16, 2025 13:48
Copy link
Collaborator

@johannesduesing johannesduesing left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me, i did not find any reamining references to BugPicker 👍

@errt errt added this pull request to the merge queue Dec 18, 2025
Merged via the queue into develop with commit bcea3cb Dec 18, 2025
2 checks passed
@errt errt deleted the removal/bug-picker branch December 18, 2025 09:46
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.

3 participants