Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

nit: fix naming #1805

Merged
merged 2 commits into from
Jan 7, 2025
Merged

nit: fix naming #1805

merged 2 commits into from
Jan 7, 2025

Conversation

zhiqiangxu
Copy link
Contributor

This makes the naming consistent with built-actors side.

@Stebalien
Copy link
Member

I'm going to wait till we're bubbling a breaking change to merge this.

@rjan90
Copy link
Contributor

rjan90 commented Jan 7, 2025

Hey! 👋

As part of our cleanup to kick off the year, I'm reviewing all open non-draft pull requests. Could you please do one of the following for your PR?

1. Close it: If it's no longer needed.
2. Mark as Draft: If it needs more work, and add the next steps.
3. Ready for Review: If it's good to go, let me know, and I'll assign a reviewer.

If there's no response in a week, I'll assume it's option 1 and close the PR. If you have any questions, just let me know.

Thanks for your help in keeping things organized, and I appreciate your contributions!

@Stebalien Stebalien merged commit 7f8986c into filecoin-project:master Jan 7, 2025
14 checks passed
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants