Skip to content

Conversation

@Dunqing
Copy link
Member

@Dunqing Dunqing commented Oct 21, 2025

No description provided.

Copy link
Member Author

Dunqing commented Oct 21, 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.

@github-actions github-actions bot added the C-enhancement Category - New feature or request label Oct 21, 2025
@Dunqing Dunqing requested a review from leaysgur October 22, 2025 07:43
@Dunqing
Copy link
Member Author

Dunqing commented Oct 23, 2025

Consider that this doesn't affect any core implementation; I will merge it without reviewing.

@Dunqing Dunqing added the 0-merge Merge with Graphite Merge Queue label Oct 23, 2025
Copy link
Member Author

Dunqing commented Oct 23, 2025

Merge activity

@graphite-app graphite-app bot force-pushed the 10-21-feat_formatter_support_printing_formatter_ir branch from cdbddef to 8fe7e85 Compare October 23, 2025 00:42
@graphite-app graphite-app bot force-pushed the 10-21-feat_playground_support_load_formatter_options_and_output_formatter_ir branch from ef63baa to ab16817 Compare October 23, 2025 00:43
Base automatically changed from 10-21-feat_formatter_support_printing_formatter_ir to main October 23, 2025 00:48
@graphite-app graphite-app bot removed the 0-merge Merge with Graphite Merge Queue label Oct 23, 2025
@graphite-app graphite-app bot merged commit ab16817 into main Oct 23, 2025
19 checks passed
@graphite-app graphite-app bot deleted the 10-21-feat_playground_support_load_formatter_options_and_output_formatter_ir branch October 23, 2025 00:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

C-enhancement Category - New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants