Skip to content

Conversation

@wmdietl
Copy link
Collaborator

@wmdietl wmdietl commented Feb 8, 2024

This should fix another problem reported in #156 .
Is there a better way to generalize this check?
@cpovirk can you try?

@wmdietl wmdietl requested review from cpovirk and netdpb February 8, 2024 02:51
Copy link
Collaborator

@cpovirk cpovirk left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Aha, thanks!

I'm still seeing eisop cloned with this PR but only because of a typo :) With the typo fixed, it appears to be working.

Co-authored-by: Chris Povirk <[email protected]>
@wmdietl wmdietl merged commit 209435e into main-eisop Feb 8, 2024
@wmdietl wmdietl deleted the fix-init-proj branch February 8, 2024 14:33
wmdietl added a commit that referenced this pull request Apr 10, 2024
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.

3 participants