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

Consistently name Pin APIs as from_pin #391

Merged
merged 2 commits into from
Sep 9, 2022
Merged

Conversation

dave-tucker
Copy link
Member

As discussed in #387, we should settle on one name for these APIs.
from_pinned - stutters when used with a type like PinnedLink
from_path - implies that any path could be used.
from_pin - seems like the best compromise.

Signed-off-by: Dave Tucker <dave@dtucker.co.uk>
Signed-off-by: Dave Tucker <dave@dtucker.co.uk>
@netlify
Copy link

netlify bot commented Sep 9, 2022

Deploy Preview for aya-rs-docs ready!

Name Link
🔨 Latest commit 5693fb9
🔍 Latest deploy log https://app.netlify.com/sites/aya-rs-docs/deploys/631b070ad472320009971acb
😎 Deploy Preview https://deploy-preview-391--aya-rs-docs.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify site settings.

@dave-tucker dave-tucker merged commit e696389 into aya-rs:main Sep 9, 2022
@dave-tucker dave-tucker deleted the fix-387 branch September 9, 2022 11:40
@dave-tucker dave-tucker added fix A PR that is a small change or fixes a bug aya This is about aya (userspace) labels Feb 23, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
aya This is about aya (userspace) fix A PR that is a small change or fixes a bug
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant