Skip to content
This repository was archived by the owner on Oct 8, 2025. It is now read-only.

feat!(extension,credo): configurable cli options and new default#322

Merged
mhanberg merged 1 commit into
mainfrom
2023-11-01-default_to_no_options
Nov 2, 2023
Merged

feat!(extension,credo): configurable cli options and new default#322
mhanberg merged 1 commit into
mainfrom
2023-11-01-default_to_no_options

Conversation

@mhanberg

@mhanberg mhanberg commented Nov 2, 2023

Copy link
Copy Markdown
Collaborator

No description provided.

@mhanberg

mhanberg commented Nov 2, 2023

Copy link
Copy Markdown
Collaborator Author

@mhanberg mhanberg force-pushed the 2023-11-01-default_to_no_options branch from 11b33e5 to 6077554 Compare November 2, 2023 00:28
Base automatically changed from 2023-11-01-disable-credo-extension to main November 2, 2023 01:05
Previously, we hard coded the `--strict --all` cli options, but these
really shouldn't be the default.

You can also now pass in the cli options you'd like to use.
@mhanberg mhanberg force-pushed the 2023-11-01-default_to_no_options branch from 6077554 to 85eb866 Compare November 2, 2023 01:09
@mhanberg mhanberg enabled auto-merge (squash) November 2, 2023 01:19
@mhanberg mhanberg merged commit d9b2ea8 into main Nov 2, 2023
@mhanberg mhanberg deleted the 2023-11-01-default_to_no_options branch November 2, 2023 01:34
mhanberg added a commit that referenced this pull request Nov 2, 2023
Previously, we hard coded the `--strict --all` cli options, but these
really shouldn't be the default.

You can also now pass in the cli options you'd like to use.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant