Skip to content

Rename vscode workspace file#3141

Merged
andyw8 merged 1 commit intomainfrom
andyw8/rename-vscode-workspace-file
Feb 5, 2025
Merged

Rename vscode workspace file#3141
andyw8 merged 1 commit intomainfrom
andyw8/rename-vscode-workspace-file

Conversation

@andyw8
Copy link
Contributor

@andyw8 andyw8 commented Feb 5, 2025

I've switched to using Raycast for opening projects/workspaces, so the inconsistency was a little annoying.

@andyw8 andyw8 added the chore Chore task label Feb 5, 2025
@andyw8 andyw8 requested a review from a team as a code owner February 5, 2025 19:04
@graphite-app
Copy link

graphite-app bot commented Feb 5, 2025

How to use the Graphite Merge Queue

Add the label graphite-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.

@andyw8 andyw8 enabled auto-merge (squash) February 5, 2025 19:08
@andyw8 andyw8 merged commit 2be659e into main Feb 5, 2025
42 of 43 checks passed
@andyw8 andyw8 deleted the andyw8/rename-vscode-workspace-file branch February 5, 2025 19:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Chore task

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants