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.

Sign up for GitHub

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

Jump to bottom

add optional flag for workspace discovery #10

Merged
merged 1 commit into from
Dec 17, 2023
Merged

add optional flag for workspace discovery #10

merged 1 commit into from
Dec 17, 2023

Conversation

jkroepke
Copy link
Contributor

@jkroepke jkroepke commented Jul 27, 2023 •
edited
Loading

We have a default config for each time using subscription discovery + filter. But sometime, if workspace list is empty which results into an error.

@sonarcloud
Copy link

sonarcloud bot commented Jul 27, 2023

Kudos, SonarCloud Quality Gate passed!    Quality Gate passed

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

No Coverage information No Coverage information
0.0% 0.0% Duplication

@mblaschke mblaschke merged commit 4eb8a62 into webdevops:main Dec 17, 2023
1 check passed
@jkroepke jkroepke deleted the optional branch December 17, 2023 19:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@jkroepke @mblaschke