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

All flags redeemed #20

Merged
merged 11 commits into from
Jan 8, 2024
Merged

All flags redeemed #20

merged 11 commits into from
Jan 8, 2024

Conversation

miallo
Copy link
Owner

@miallo miallo commented Jan 7, 2024

No description provided.

@miallo miallo force-pushed the all-flags-redeemed branch from 049d9d5 to 604b63c Compare January 7, 2024 22:24
miallo added 5 commits January 8, 2024 09:27
since we need to keep the CREDIT_WHERE_CREDIT_IS_DUE in sync with the
rest of the code of redeem.nuggit and we could not do a good obfuscation
any ways, we just inline the checks again...

Note that we also now have to adapt the checks for the number of nuggits
to account for the off-by-one error from the dupicate
In addition to the nuggit "branch" we write this check with the number
of redeemed nuggits (not technically needed any more, but we can use it
to detect if someone just adds new commits to that "branch")
@miallo miallo force-pushed the all-flags-redeemed branch from 1405f33 to d3d2f3f Compare January 8, 2024 10:10
@miallo miallo force-pushed the all-flags-redeemed branch from 7a23a9e to 8745c58 Compare January 8, 2024 10:25
@miallo miallo merged commit 8745c58 into main Jan 8, 2024
1 check passed
@miallo miallo deleted the all-flags-redeemed branch January 8, 2024 10:25
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.

1 participant