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

Rename Sequencer to Certificate Producer#35

Merged
dvdplm merged 3 commits into
mainfrom
dp-rename-sequencer-to-certificate-producer
Feb 28, 2024
Merged

Rename Sequencer to Certificate Producer#35
dvdplm merged 3 commits into
mainfrom
dp-rename-sequencer-to-certificate-producer

Conversation

@dvdplm

@dvdplm dvdplm commented Feb 16, 2024

Copy link
Copy Markdown
Contributor

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

dvdplm commented Feb 28, 2024

Copy link
Copy Markdown
Contributor Author

@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
@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