Skip to content

quote paths with globs#487

Merged
aeschli merged 1 commit into
mainfrom
aeschli/zany-trout-729
Apr 15, 2026
Merged

quote paths with globs#487
aeschli merged 1 commit into
mainfrom
aeschli/zany-trout-729

Conversation

@aeschli
Copy link
Copy Markdown
Collaborator

@aeschli aeschli commented Apr 15, 2026

No description provided.

@aeschli aeschli enabled auto-merge (squash) April 15, 2026 08:00
@aeschli aeschli self-assigned this Apr 15, 2026
@aeschli aeschli merged commit de44a02 into main Apr 15, 2026
5 checks passed
@aeschli aeschli deleted the aeschli/zany-trout-729 branch April 15, 2026 08:58
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