Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove filter on policy level #592

Merged
merged 1 commit into from
Feb 21, 2025
Merged

Remove filter on policy level #592

merged 1 commit into from
Feb 21, 2025

Conversation

misterpantz
Copy link
Contributor

@misterpantz misterpantz commented Feb 21, 2025

Description

In the policy authoring docs:
We currently do not support filtering at the policy level so I'm removing it. However, we do plan to add it soon. So I've stashed it in an mdx file that does not get compiled in the documentation.

Related issue

#449

Types of changes

  • Functional documentation bug fix (i.e., broken link or some other busted behavior)
  • New functional doc capabilities (i.e., filter search results)
  • New content
  • Revision to existing content
  • Chore (non-breaking change that does not add functionality or fix an issue)

Checklist

  • I have read the README document about contributing to this repo.
  • I have tested my changes locally and there are no issues.
  • All commits are signed.

Copy link
Contributor

Starting creation of the PREview environment...

Copy link
Contributor

PREview environment has been created at https://mondoo-pre-docs-325185544.storage.googleapis.com/docs/index.html
Please allow a few minutes for the environment to be fully deployed.

Copy link
Contributor

@misterpantz misterpantz marked this pull request as ready for review February 21, 2025 00:31
@tas50 tas50 merged commit 13c160c into main Feb 21, 2025
9 checks passed
@tas50 tas50 deleted the misterpantz/filter branch February 21, 2025 17:50
@github-actions github-actions bot locked and limited conversation to collaborators Feb 21, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants