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

Re-add PR #459: ExecuteDFS (generic depth first search) #505

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

wilfwilson
Copy link
Collaborator

@wilfwilson wilfwilson commented Oct 27, 2021

This reverts #504, in other words, it adds again the code that was in #459.

Since the code in this PR is buggy (see #487), it was removed from the master branch. I do not imagine that this PR itself will ever be merged (at least not as-is), but I have pushed this branch and opened this PR so that we do not lose track of this code.

@james-d-mitchell has started PR #499 to try to fix this, which I have taken the liberty of rebasing on top of this branch. When #499 is merged, this PR should then be closed, and the associated branch deleted.

@wilfwilson wilfwilson added do not merge A label for PRs that should not be merged for whatever reason. new-feature A label for new features. labels Oct 27, 2021
@github-actions
Copy link

github-actions bot commented Jan 7, 2022

Stale pull request message

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
do not merge A label for PRs that should not be merged for whatever reason. new-feature A label for new features.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant