Skip to content
This repository has been archived by the owner on Oct 31, 2024. It is now read-only.

Rename Sequencer to Certificate Producer #35

Merged
merged 3 commits into from
Feb 28, 2024

Conversation

dvdplm
Copy link
Contributor

@dvdplm dvdplm commented Feb 16, 2024

Rename the Sequencer to Certificate producer.

Related to topos-protocol/topos#457

@dvdplm dvdplm self-assigned this Feb 28, 2024
@dvdplm dvdplm marked this pull request as ready for review February 28, 2024 16:40
@dvdplm
Copy link
Contributor Author

dvdplm commented Feb 28, 2024

@sebastiendan I don't think CI can run green before PR 457 is merged (and CI can't run green on that side either until this PR is merged). Can you review anyway and perhaps we can merge this one first to break the impasse?

@dvdplm dvdplm merged commit 9b5a84e into main Feb 28, 2024
4 of 8 checks passed
@dvdplm dvdplm deleted the dp-rename-sequencer-to-certificate-producer branch February 28, 2024 17:45
@Freyskeyd Freyskeyd restored the dp-rename-sequencer-to-certificate-producer branch February 28, 2024 18:05
Freyskeyd added a commit that referenced this pull request Feb 28, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants