Skip to content

Conversation

@guillaumemichel
Copy link
Collaborator

Part of #1095

Depends on:


Defines options used to create the SweepingReprovider. Some options are related to functionalities that are not yet included in the code at this stage of the review process.

If it makes more sense, I could include each option in the same PR as its associated feature. I just found it easier to include everything at once. If this gets merged in the master PR before we need to change an option related to a feature, we can work on it in the PR related to the feature.

If some more options are needed later, they will be added in the PR associated with the new feature. We can consider this part of the code base as frozen.

@guillaumemichel guillaumemichel requested a review from gammazero July 9, 2025 14:45
@guillaumemichel guillaumemichel requested a review from a team as a code owner July 9, 2025 14:45
@guillaumemichel guillaumemichel mentioned this pull request Jul 9, 2025
56 tasks
@guillaumemichel guillaumemichel force-pushed the sweepingprovider-options branch from de67e6c to 170d6e8 Compare July 9, 2025 14:48
@guillaumemichel guillaumemichel changed the title SweepingProvider options provider: SweepingProvider options Jul 11, 2025
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