Skip to content

Conversation

goran-w
Copy link
Contributor

@goran-w goran-w commented Jun 25, 2025

Addresses part of the discussion in issue #1454.

Group and Repo nodes are now name-filtered the same way, while still recursing into Groups with matching sub-Nodes.

It makes filtering more effective, instead of favoring Group-matches over Item-matches.

…name

Group and Repo nodes are now name-filtered the same way, while still recursing into Groups with matching sub-Nodes.
This is more intuitive and consistent with other filters in SourceGit.
It makes filtering more effective, instead of favoring Group-matches over Item-matches.
Addresses part of the discussion in issue sourcegit-scm#1454.
@goran-w
Copy link
Contributor Author

goran-w commented Jun 25, 2025

It was concluded in #1454 that this PR is not necessarily an improvement...

@goran-w goran-w closed this Jun 25, 2025
@goran-w goran-w deleted the improve_repo_filtering_on_welcome_page branch June 25, 2025 10:05
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.

1 participant