Skip to content

ignore sub workspace#70

Merged
pchalamet merged 1 commit intomainfrom
feature/ignore-sub-workspace
Jan 1, 2025
Merged

ignore sub workspace#70
pchalamet merged 1 commit intomainfrom
feature/ignore-sub-workspace

Conversation

@pchalamet
Copy link
Contributor

Ignore sub workspace below main workspace.

@pchalamet pchalamet merged commit 108683a into main Jan 1, 2025
2 checks passed
@pchalamet pchalamet deleted the feature/ignore-sub-workspace branch February 19, 2025 12:52
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