Skip to content

Rename instant_finality_extension to finality_extension#364

Merged
heifner merged 2 commits intomainfrom
GH-353-finality-name
Jul 15, 2024
Merged

Rename instant_finality_extension to finality_extension#364
heifner merged 2 commits intomainfrom
GH-353-finality-name

Conversation

@heifner
Copy link
Contributor

@heifner heifner commented Jul 12, 2024

Resolves #353

@heifner heifner changed the title Renamed instant_finality_extension to finality_extension Rename instant_finality_extension to finality_extension Jul 12, 2024
@heifner heifner added the OCI Work exclusive to OCI team label Jul 12, 2024
block_header_state& next_header_state,
vector<digest_type> new_protocol_feature_activations,
instant_finality_extension if_ext,
finality_extension if_ext,
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Maybe we should stop using if_ext, using fin_ext or f_int instead.

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Personally, I'd prefer avoiding such naming changes, I don't find if_ext objectionable, but I guess opinions may vary.

@heifner heifner merged commit 17d9980 into main Jul 15, 2024
@heifner heifner deleted the GH-353-finality-name branch July 15, 2024 14:13
@ericpassmore
Copy link
Contributor

Note:start
group: CLEANCODE
category: INTERNALS
summary: Rename extension to finality_extension.
Note: end

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

OCI Work exclusive to OCI team

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Clean up instant finality names

4 participants