Skip to content

Revert cosmodesi-bgs #122

Merged
SBouchard01 merged 8 commits intocosmodesi-bgsfrom
cosmodesi-bgs_revert
Dec 6, 2025
Merged

Revert cosmodesi-bgs #122
SBouchard01 merged 8 commits intocosmodesi-bgsfrom
cosmodesi-bgs_revert

Conversation

@SBouchard01
Copy link
Collaborator

@SBouchard01 SBouchard01 commented Dec 6, 2025

Reverts non-BGS elements of cosmodesi-bgs to their cosmodesi state, as those have been moved to different PRs (#112, #117, #119, #118, #120)

@SBouchard01 SBouchard01 merged commit 39e5a06 into cosmodesi-bgs Dec 6, 2025
@SBouchard01 SBouchard01 deleted the cosmodesi-bgs_revert branch December 6, 2025 12:30
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