Skip to content

added filename sanitization#5

Merged
tschoem merged 1 commit intomainfrom
semgrep-fix
Jul 30, 2025
Merged

added filename sanitization#5
tschoem merged 1 commit intomainfrom
semgrep-fix

Conversation

@tschoem
Copy link
Copy Markdown
Contributor

@tschoem tschoem commented Jul 30, 2025

for semgrep rule

for semgrep rule
@hrishi1096
Copy link
Copy Markdown

Looks good to me.

@tschoem tschoem requested a review from hrishi1096 July 30, 2025 13:38
@tschoem tschoem merged commit 43b08ad into main Jul 30, 2025
7 checks passed
@tschoem tschoem deleted the semgrep-fix branch July 30, 2025 14:14
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