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

fix(cli): conflict between --import-plugin and -D correctness #1729

Merged
merged 1 commit into from
Dec 18, 2023
Merged

fix(cli): conflict between --import-plugin and -D correctness #1729

merged 1 commit into from
Dec 18, 2023

Conversation

camc314
Copy link
Collaborator

@camc314 camc314 commented Dec 18, 2023

closes #1727

@camc314 Graphite App
Copy link
Collaborator Author

camc314 commented Dec 18, 2023

Current dependencies on/for this PR:

This stack of pull requests is managed by Graphite.

@github-actions github-actions bot added the A-cli Area - CLI label Dec 18, 2023
This was referenced Dec 18, 2023
Merged
Merged
Merged
@Boshen Graphite App
Copy link
Member

Boshen commented Dec 18, 2023 •
edited
Loading

Merge activity

  • Dec 18, 8:20 AM: @@Boshen started a stack merge that includes this pull request via Graphite.
  • Dec 18, 8:20 AM: @@Boshen merged this pull request with Graphite.

@Boshen Boshen merged commit 4ebb3fb into main Dec 18, 2023
16 checks passed
@Boshen Boshen deleted the c/12-18-fix_cli_conflict_between_--import-plugin_and_-D_correctness_ branch December 18, 2023 13:20
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
A-cli Area - CLI
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

bug(cli): conflict between --import-plugin and -D correctness
2 participants
@camc314 @Boshen