Skip to content

Adding option for --ignore-path#1659

Merged
belav merged 2 commits intomainfrom
ignore-path
Jul 13, 2025
Merged

Adding option for --ignore-path#1659
belav merged 2 commits intomainfrom
ignore-path

Conversation

@belav
Copy link
Copy Markdown
Owner

@belav belav commented Jul 9, 2025

closes #1585

@belav belav force-pushed the main branch 4 times, most recently from eeaf247 to 9e9ad83 Compare July 10, 2025 15:48
@belav belav merged commit e752f9f into main Jul 13, 2025
6 checks passed
@belav belav deleted the ignore-path branch July 13, 2025 15:08
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.

Support --ignore-path CLI option

1 participant