Skip to content

chore: 🤖 remove a user's personal text editor (vscode) directory#920

Merged
punkbit merged 2 commits intomainfrom
chore/remove-vscode-dir
Mar 12, 2026
Merged

chore: 🤖 remove a user's personal text editor (vscode) directory#920
punkbit merged 2 commits intomainfrom
chore/remove-vscode-dir

Conversation

@punkbit
Copy link
Collaborator

@punkbit punkbit commented Mar 12, 2026

Why?

Remove a user's personal text editor (VSCode) directory from the repository-tracked files.

How?

  • Deletes the VS Code directory and its content

Preview?

N/A

@changeset-bot
Copy link

changeset-bot bot commented Mar 12, 2026

⚠️ No Changeset found

Latest commit: 1572160

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

@github-actions
Copy link

github-actions bot commented Mar 12, 2026

Claude finished @punkbit's task in 12s —— View job


✅ Looks great! No issues found — nice work!

This is a clean, focused maintenance change:

  • Removes the accidentally committed .vscode/settings.json (personal editor config shouldn't be tracked)
  • Adds .vscode/ to .gitignore to prevent it from being committed again in the future

No changeset needed for this infrastructure-only change.

@workflow-authentication-public
Copy link
Contributor

📚 Storybook Preview Deployed

✅ Preview URL: https://click-oi9rq8k4e-clickhouse.vercel.app

Built from commit: 65d8efe78400f21916ea3243a751ee689e6cbf43

@punkbit punkbit merged commit 7dc2857 into main Mar 12, 2026
10 checks passed
@punkbit punkbit deleted the chore/remove-vscode-dir branch March 12, 2026 10:25
punkbit added a commit that referenced this pull request Mar 12, 2026
* chore: 🤖 remove user personal text-editor directory

* chore: 🤖 add to .gitignore
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.

2 participants