Skip to content

[bot] Run grit migration: Apply a GritQL pattern#7

Draft
grit-app[bot] wants to merge 1 commit into
masterfrom
grit/16dd3243-ac0c-4b7c-b8bc-9bb9e6e7b683
Draft

[bot] Run grit migration: Apply a GritQL pattern#7
grit-app[bot] wants to merge 1 commit into
masterfrom
grit/16dd3243-ac0c-4b7c-b8bc-9bb9e6e7b683

Conversation

@grit-app

@grit-app grit-app Bot commented Jul 23, 2024

Copy link
Copy Markdown

✅ This migration is up to date! ✅

View the full results on the Migration Dashboard. 🚀

This pull request was created as part of the Apply a GritQL pattern migration, with these settings:

  • Target branch: master
  • Source files: **/*

Tip

You can provide feedback to @gritagent and it will update this pull request with your suggestions.

<!-- grit:execution_id:d4c028f0-d769-49f2-9fde-a75aed320dc8 -->
if (user) {
utils.solveIf(challenges.csrfChallenge, () => {
return ((req.headers.origin?.includes('://htmledit.squarefree.com')) ??
utils.solveIf(challenges.csrfChallenge, () => ((req.headers.origin?.includes('://htmledit.squarefree.com')) ??

Check failure

Code scanning / CodeQL

Incomplete URL substring sanitization

'[://htmledit.squarefree.com](1)' can be anywhere in the URL, and arbitrary hosts may come before or after it.
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.

1 participant