Skip to content

Comments

refactor(language_server): provided_commands and provided_code_action_kinds for ToolBuilder#15610

Merged
graphite-app[bot] merged 1 commit intomainfrom
11-11-refactor_language_server_provided_commands_and_provided_code_action_kinds_for_toolbuilder_
Nov 12, 2025
Merged

refactor(language_server): provided_commands and provided_code_action_kinds for ToolBuilder#15610
graphite-app[bot] merged 1 commit intomainfrom
11-11-refactor_language_server_provided_commands_and_provided_code_action_kinds_for_toolbuilder_

Conversation

@Sysix
Copy link
Member

@Sysix Sysix commented Nov 11, 2025

No description provided.

@github-actions github-actions bot added A-editor Area - Editor and Language Server C-cleanup Category - technical debt or refactoring. Solution not expected to change behavior labels Nov 11, 2025
Copy link
Member Author

Sysix commented Nov 11, 2025


How to use the Graphite Merge Queue

Add either label to this PR to merge it via the merge queue:

  • 0-merge - adds this PR to the back of the merge queue
  • hotfix - for urgent hot fixes, skip the queue and merge this PR next

You must have a Graphite account in order to use the merge queue. Sign up using this link.

An organization admin has enabled the Graphite Merge Queue in this repository.

Please do not merge from GitHub as this will restart CI on PRs being processed by the merge queue.

This stack of pull requests is managed by Graphite. Learn more about stacking.

@camc314 camc314 added the 0-merge Merge with Graphite Merge Queue label Nov 12, 2025
Copy link
Contributor

camc314 commented Nov 12, 2025

Merge activity

@graphite-app graphite-app bot force-pushed the 11-11-feat_language_server_add_run_server_helper_for_cli_tools branch from bd0dd66 to c4d3454 Compare November 12, 2025 21:29
@graphite-app graphite-app bot force-pushed the 11-11-refactor_language_server_provided_commands_and_provided_code_action_kinds_for_toolbuilder_ branch from 7adc26c to 5aef593 Compare November 12, 2025 21:30
@graphite-app graphite-app bot force-pushed the 11-11-feat_language_server_add_run_server_helper_for_cli_tools branch from c4d3454 to 4c62ffa Compare November 12, 2025 21:44
@graphite-app graphite-app bot force-pushed the 11-11-refactor_language_server_provided_commands_and_provided_code_action_kinds_for_toolbuilder_ branch from 5aef593 to e71a6a9 Compare November 12, 2025 21:44
@graphite-app graphite-app bot removed the 0-merge Merge with Graphite Merge Queue label Nov 12, 2025
Base automatically changed from 11-11-feat_language_server_add_run_server_helper_for_cli_tools to main November 12, 2025 21:48
@graphite-app graphite-app bot merged commit e71a6a9 into main Nov 12, 2025
22 checks passed
@graphite-app graphite-app bot deleted the 11-11-refactor_language_server_provided_commands_and_provided_code_action_kinds_for_toolbuilder_ branch November 12, 2025 21:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-editor Area - Editor and Language Server C-cleanup Category - technical debt or refactoring. Solution not expected to change behavior

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants