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

CLI: Param naming tweak #406

Merged
merged 2 commits into from
Oct 16, 2022
Merged

CLI: Param naming tweak #406

merged 2 commits into from
Oct 16, 2022

Conversation

tony
Copy link
Member

@tony tony commented Oct 16, 2022 •
edited

  • CLI / Sync: Internal param / arg update

    repo_terms -> repo_patterns

@codecov
Copy link

codecov bot commented Oct 16, 2022 •
edited

Codecov Report

❗ No coverage uploaded for pull request base (master@1e129b9). Click here to learn what that means.
The diff coverage is n/a.

❗ Current head 5de6dfe differs from pull request most recent head 90097bb. Consider uploading reports for the commit 90097bb to get more accurate results

@@            Coverage Diff            @@
##             master     #406   +/-   ##
=========================================
  Coverage          ?   84.99%           
=========================================
  Files             ?       15           
  Lines             ?      853           
  Branches          ?      132           
=========================================
  Hits              ?      725           
  Misses            ?       87           
  Partials          ?       41

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@tony tony marked this pull request as ready for review October 16, 2022 22:30
@tony tony force-pushed the cli-naming-cleanup branch 3 times, most recently from 5ec67f5 to f26fac2 Compare October 16, 2022 22:41
@tony tony mentioned this pull request Oct 16, 2022
Merged
@tony tony force-pushed the cli-naming-cleanup branch 2 times, most recently from 1429be0 to 90097bb Compare October 16, 2022 23:15
@tony tony changed the title CLI Naming improvements CLI: Param naming tweak Oct 16, 2022
@tony tony merged commit 3cd3724 into master Oct 16, 2022
@tony tony deleted the cli-naming-cleanup branch October 16, 2022 23:55
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.

None yet
1 participant
@tony