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.

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

Remove unused NewCLIPromptV2 #48239

Merged
merged 1 commit into from
Oct 31, 2024
Merged

Remove unused NewCLIPromptV2 #48239

merged 1 commit into from
Oct 31, 2024

Conversation

Joerger
Copy link
Contributor

@Joerger Joerger commented Oct 31, 2024

Fourth and final follow up to #47874

@Joerger Joerger changed the title Remove unused NewCLIPromptV2. Remove unused NewCLIPromptV2 Oct 31, 2024
Copy link

This pull request is automatically being deployed by Amplify Hosting (learn more).

Access this pull request here: https://pr-48239.d3pp5qlev8mo18.amplifyapp.com

Copy link
Contributor

@codingllama codingllama left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for the careful refactors!

@Joerger Joerger added the no-changelog Indicates that a PR does not require a changelog entry label Oct 31, 2024
@Joerger Joerger enabled auto-merge October 31, 2024 19:43
@Joerger Joerger added this pull request to the merge queue Oct 31, 2024
Merged via the queue into master with commit 2759659 Oct 31, 2024
44 of 46 checks passed
@Joerger Joerger deleted the joerger/remove-NewCLIPromptV2 branch October 31, 2024 20:05
@public-teleport-github-review-bot

@Joerger See the table below for backport results.

Branch Result
branch/v15 Failed
branch/v16 Failed
branch/v17 Failed

Joerger added a commit that referenced this pull request Nov 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants