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

Add initiator mask for redundant execution. #6

Closed
wants to merge 1 commit into from
Closed

Conversation

yvantor
Copy link

@yvantor yvantor commented Jun 8, 2024

No description provided.

@yvantor yvantor requested a review from ricted98 June 8, 2024 14:56
@yvantor yvantor self-assigned this Jun 8, 2024
@yvantor yvantor added the enhancement New feature or request label Jun 8, 2024
@ricted98
Copy link

ricted98 commented Jun 8, 2024

The main branch will be subject to a major PR (#5). Do you believe we should add this feature on the current version or port it directly to the newer one?

@yvantor
Copy link
Author

yvantor commented Jun 8, 2024

I have no strong opinion, honestly; this change is so simple that we can either wait for the PR you mentioned to be closed and then rebase and merge, or I can open the PR directly on the branch you have worked on (but this will need a rebase in any case because I branched out of master). I was approaching this by merging the change into the master to apply directly on the release just for logical order (we merge one feature at a time). We can do all at once, let me know what you prefer!

@ricted98
Copy link

ricted98 commented Jul 3, 2024

The feature was added on top of the reworked version in b4fa1b5. Closing this.

@ricted98 ricted98 closed this Jul 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants