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

Rename Pool #646

Merged
merged 1 commit into from
Nov 16, 2023
Merged

Rename Pool #646

merged 1 commit into from
Nov 16, 2023

Conversation

nolan-veed
Copy link
Contributor

@nolan-veed nolan-veed commented Nov 13, 2023

Why

For #610, specifically #610 (comment)

What

  • Renamed Pool to SlabPool, including files.

  • Renamed PoolImpl to SlabPoolImpl, including files.

  • Renamed file using snake_case.

  • There might be some general references to pool in the documentation - not sure if we want to change that.

Testing

There are tests.

Copy link

🤖 Upon creation, pull request description does not have a link to an issue. If there is a related issue, please add it to the description using any of the supported formats.

@gavv gavv added ready for review Pull request can be reviewed contribution A pull-request by someone else except maintainers labels Nov 13, 2023
@gavv
Copy link
Member

gavv commented Nov 14, 2023

Thanks!

I think we should rename PoolFlags/PoolFlag_EnableGuards/DefaultPoolFlags too.

@gavv
Copy link
Member

gavv commented Nov 14, 2023

🤖 Upon creation, pull request description does not have a link to an issue. If there is a related issue, please add it to the description using any of the supported formats.

I've fixed that check to support links to issue comment.

@gavv gavv added needs revision Pull request should be revised by its author and removed ready for review Pull request can be reviewed labels Nov 14, 2023
@nolan-veed
Copy link
Contributor Author

I think we should rename PoolFlags/PoolFlag_EnableGuards/DefaultPoolFlags too.

Yes. I wasn't sure about that.

@gavv gavv force-pushed the 610-rename-Pool branch 3 times, most recently from 3ebac69 to 2eb6a88 Compare November 16, 2023 09:04
@gavv gavv merged commit 62a5016 into roc-streaming:develop Nov 16, 2023
@gavv
Copy link
Member

gavv commented Nov 16, 2023

Thanks!

@github-actions github-actions bot removed the needs revision Pull request should be revised by its author label Nov 16, 2023
@gavv gavv added this to the 0.3.0 milestone Nov 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
contribution A pull-request by someone else except maintainers
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants