Skip to content

Conversation

@jennybc
Copy link
Member

@jennybc jennybc commented Jul 23, 2025

Closes #162

@jennybc jennybc requested a review from krlmlr July 23, 2025 19:05
@krlmlr krlmlr changed the title Look for .vscode/settings.json instead of just .vscode/ feat: is_vscode_project looks for .vscode/settings.json instead of just .vscode/ Aug 25, 2025
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@krlmlr krlmlr enabled auto-merge (squash) August 25, 2025 06:11
krlmlr and others added 2 commits August 25, 2025 19:45
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@krlmlr krlmlr merged commit 82b142e into main Aug 25, 2025
5 checks passed
@krlmlr krlmlr deleted the refine-is-vscode-project branch August 25, 2025 19:31
@krlmlr
Copy link
Member

krlmlr commented Aug 26, 2025

Thanks, and sorry for the noise from abusing this as a test bed for infrastructure.

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.

is_vscode_project should probably look for .vscode/settings.json

3 participants