Skip to content

Conversation

kassenq
Copy link
Collaborator

@kassenq kassenq commented Oct 3, 2025

What does this PR do? What is the motivation?

  • Updates broken section hyperlinking in Code Security SAST home page
  • Renames side menu option "GitHub Pull Requests" to "Pull Request Comments" as PR comments support more than just GitHub now
  • Minor copy tweaks

Merge instructions

Merge after approval please

Merge readiness:

  • [ x ] Ready for merge

@kassenq kassenq requested a review from a team as a code owner October 3, 2025 13:19
@github-actions github-actions bot added the Architecture Everything related to the Doc backend label Oct 3, 2025
Copy link
Contributor

github-actions bot commented Oct 3, 2025

@michaelcretzman michaelcretzman self-assigned this Oct 3, 2025
@michaelcretzman michaelcretzman merged commit 5503f05 into master Oct 3, 2025
17 of 18 checks passed
@michaelcretzman michaelcretzman deleted the kassenq/gitlab-final-updates branch October 3, 2025 16:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Architecture Everything related to the Doc backend

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants