Skip to content

Comments

chore: support windows shell for just#653

Merged
graphite-app[bot] merged 1 commit intomainfrom
08-20-chore_support_windows_shell_for_just
Aug 20, 2025
Merged

chore: support windows shell for just#653
graphite-app[bot] merged 1 commit intomainfrom
08-20-chore_support_windows_shell_for_just

Conversation

@sapphi-red
Copy link
Member

@sapphi-red sapphi-red commented Aug 20, 2025

Copy link
Member Author

sapphi-red commented Aug 20, 2025


How to use the Graphite Merge Queue

Add the label merge to this PR to add it to the merge queue.

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.

@sapphi-red sapphi-red marked this pull request as ready for review August 20, 2025 10:18
@sapphi-red sapphi-red force-pushed the 08-20-chore_support_windows_shell_for_just branch from 5427ef9 to 4e1559e Compare August 20, 2025 10:38
@graphite-app graphite-app bot added the merge label Aug 20, 2025
@graphite-app
Copy link

graphite-app bot commented Aug 20, 2025

Merge activity

@graphite-app graphite-app bot force-pushed the 08-20-chore_support_windows_shell_for_just branch from 4e1559e to d9ff77a Compare August 20, 2025 15:21
@graphite-app graphite-app bot merged commit d9ff77a into main Aug 20, 2025
11 checks passed
@graphite-app graphite-app bot deleted the 08-20-chore_support_windows_shell_for_just branch August 20, 2025 15:24
@graphite-app graphite-app bot removed the merge label Aug 20, 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.

1 participant