Skip to content

never show prompt files or instruction pills in ui #253691

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

Closed
wants to merge 9 commits into from

Conversation

justschen
Copy link
Collaborator

@justschen justschen commented Jul 2, 2025

Copy link

⚠️ This PR originates from a fork. Due to security restrictions, pipelines from forks are no longer triggered automatically. Learn more.

If the changes appear safe, you can manually trigger the pipeline by commenting /AzurePipelines run.

@vs-code-engineering vs-code-engineering bot added this to the June 2025 milestone Jul 2, 2025
bpasero
bpasero previously approved these changes Jul 2, 2025
@justschen justschen requested a review from aeschli July 3, 2025 01:37
Copy link

⚠️ This PR originates from a fork. Due to security restrictions, pipelines from forks are no longer triggered automatically. Learn more.

If the changes appear safe, you can manually trigger the pipeline by commenting /AzurePipelines run.

@bpasero
Copy link
Member

bpasero commented Jul 3, 2025

@justschen ping, the OSS build did not run, please manually check to merge in

@aeschli aeschli enabled auto-merge July 3, 2025 10:29
@bpasero
Copy link
Member

bpasero commented Jul 3, 2025

/AzurePipelines run

Copy link

Azure Pipelines will not run the associated pipelines, because the pull request was updated after the run command was issued. Review the pull request again and issue a new run command.

@bpasero
Copy link
Member

bpasero commented Jul 3, 2025

/AzurePipelines run

Copy link

Azure Pipelines could not run because the pipeline triggers exclude this branch/path.

@justschen justschen closed this Jul 3, 2025
auto-merge was automatically disabled July 3, 2025 18:02

Pull request was closed

@justschen justschen reopened this Jul 3, 2025
justschen added a commit that referenced this pull request Jul 3, 2025
justschen added a commit that referenced this pull request Jul 3, 2025
@justschen
Copy link
Collaborator Author

closing, since we finally got #253973 in 🏁

@justschen justschen closed this Jul 3, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants