Skip to content

Conversation

@charlieegan3
Copy link
Contributor

@charlieegan3 charlieegan3 commented Nov 12, 2025

Fixes #2244

These new titles should make for more clear search engine results too, as well as local search.

Screenshot 2025-11-12 at 11 34 01

@netlify
Copy link

netlify bot commented Nov 12, 2025

Deploy Preview for openpolicyagent ready!

Name Link
🔨 Latest commit 489ef92
🔍 Latest deploy log https://app.netlify.com/projects/openpolicyagent/deploys/691473f9874dc00008a3fc3d
😎 Deploy Preview https://deploy-preview-8046--openpolicyagent.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.

@netlify
Copy link

netlify bot commented Nov 12, 2025

Deploy Preview for openpolicyagent ready!

Name Link
🔨 Latest commit cfa86be
🔍 Latest deploy log https://app.netlify.com/projects/openpolicyagent/deploys/691491bb5de3090008c5dfd0
😎 Deploy Preview https://deploy-preview-8046--openpolicyagent.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.

Copy link
Contributor

@srenatus srenatus left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💯

Fixes open-policy-agent#2244

These new titles should make for more clear search engine results too,
as well as local search.

Signed-off-by: Charlie Egan <[email protected]>
@charlieegan3 charlieegan3 enabled auto-merge (squash) November 12, 2025 13:55
@charlieegan3 charlieegan3 merged commit 1f7c280 into open-policy-agent:main Nov 12, 2025
20 checks passed
@charlieegan3 charlieegan3 deleted the doc-titles branch November 13, 2025 10:55
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.

Docs search doesn't include top level ToC entries in results

2 participants