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.

Sign up for GitHub

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

Jump to bottom

example implementation of is_a #171

Closed
wants to merge 1 commit into from
Closed

example implementation of is_a #171

wants to merge 1 commit into from

Conversation

ahwagner
Copy link
Member

potential solution to #134

@ahwagner ahwagner mentioned this pull request Jul 11, 2024
Closed
@larrybabb
Copy link
Contributor

@ahwagner and @mbrush i'm closing this branch since we all reviewed the idea behind it. we can reopen it in the future if we ever decide to go back to using this approach.

@larrybabb larrybabb closed this Jul 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mbrush mbrush Awaiting requested review from mbrush mbrush will be requested when the pull request is marked ready for review mbrush is a code owner

@larrybabb larrybabb Awaiting requested review from larrybabb larrybabb will be requested when the pull request is marked ready for review larrybabb is a code owner

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@ahwagner @larrybabb