Skip to content

Conversation

@armchairlinguist
Copy link
Collaborator

Fortunately we already have this componentized (🙌🏻). It makes sense to include it directly on the Manage Projects page as well, since deletion is part of management.

Thanks for improving Semgrep Docs 😀

Please ensure

- [ ] A subject matter expert (SME) reviews the content content is pre-approved as it exists elsewhere

  • A technical writer reviews the content or PR
  • This change has no security implications or else you have pinged the security team

Fortunately we already have this componentized (🙌🏻). It makes sense to include it directly on the Manage Projects page as well, since deletion is part of management.
@netlify
Copy link

netlify bot commented Jan 8, 2026

Don't forget to add /docs at the end of the deploy preview site URL!

Name Link
🔨 Latest commit f2c635a
🔍 Latest deploy log https://app.netlify.com/projects/semgrep-docs-prod/deploys/69600e6a8c35c7000820ea42
😎 Deploy Preview https://deploy-preview-2456--semgrep-docs-prod.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify project configuration.

@khorne3 khorne3 merged commit 0beb81e into main Jan 9, 2026
8 checks passed
@khorne3 khorne3 deleted the armchairlinguist/manage-includes-delete branch January 9, 2026 15:57
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.

3 participants