Skip to content

feat: ignore project list#55

Merged
sacha-c merged 1 commit into
elementsinteractive:mainfrom
sacha-c:ignore-project-list
Jun 20, 2025
Merged

feat: ignore project list#55
sacha-c merged 1 commit into
elementsinteractive:mainfrom
sacha-c:ignore-project-list

Conversation

@sacha-c
Copy link
Copy Markdown
Collaborator

@sacha-c sacha-c commented Jun 20, 2025

Adds a new CLI options --ignore and a new config list option ignored = [...] to list projects or groups to ignore, in a similar fashion to what is currently done with targets.

The idea behind this feature is that you may want to specify a group, but to ignore specific repositories or sub-groups within that group

@sacha-c sacha-c requested a review from scastlara as a code owner June 20, 2025 14:31
@sacha-c sacha-c force-pushed the ignore-project-list branch from cb9fad3 to 21a4576 Compare June 20, 2025 14:32
@sacha-c sacha-c merged commit ad21156 into elementsinteractive:main Jun 20, 2025
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants