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

use cli instead of friendly_type_of #2568

Closed
wants to merge 2 commits into from
Closed

Conversation

olivroy
Copy link
Collaborator

@olivroy olivroy commented May 21, 2024

This should resolve CI failures! friendly_type_of is the legacy name. And apparently wasn't tested before #2552, which is why I didn't catch its use at the time.

fix clash between my deletion of compat-firendly-type in #2566 + use of friendly function in #2552

@hadley
Copy link
Member

hadley commented May 21, 2024

Oooh, I also fixed this in #2556

@olivroy
Copy link
Collaborator Author

olivroy commented May 21, 2024

Ok, sure! I will close the PR once CI passes, just to make sure the rest of things is okay?

@hadley
Copy link
Member

hadley commented May 21, 2024

Yeah, I'll close this one and merge the other momentarily.

@hadley hadley closed this May 21, 2024
@hadley
Copy link
Member

hadley commented May 21, 2024

Also can you send me an email at [email protected]? I have a question to ask you that's more appropriate over email 😄

@olivroy olivroy deleted the friendly branch May 21, 2024 20:57
@olivroy
Copy link
Collaborator Author

olivroy commented May 24, 2024

Sent!

@hadley
Copy link
Member

hadley commented May 30, 2024

@olivroy hmmm I didn't get it

@olivroy
Copy link
Collaborator Author

olivroy commented May 31, 2024

@hadley.. I tried again.. otherwise, PM'd you on Mastodon.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants