Revert out effort to extract discovery#2978
Merged
gaborbernat merged 9 commits intopypa:mainfrom Oct 10, 2025
Merged
Commits
Commits on Oct 10, 2025
- committed
- committed
- authored andcommitted
- authored andcommitted
- committed
- authored andcommitted
- authored andcommitted
- committed
- committed