Skip to content

docs: restore search plugin#239

Merged
woodruffw merged 1 commit into
zizmorcore:mainfrom
lazka:docs-restore-search
Dec 6, 2024
Merged

docs: restore search plugin#239
woodruffw merged 1 commit into
zizmorcore:mainfrom
lazka:docs-restore-search

Conversation

@lazka

@lazka lazka commented Dec 6, 2024

Copy link
Copy Markdown
Contributor

In f41f692 a plugin list was added to the mkdocs config to add the "social" plugin. This removed the default "search" plugin (I assume by accident).

See https://www.mkdocs.org/user-guide/configuration/#plugins for the default plugins.

The plugin is quite handy for searching audit rules, etc., so fix it by adding "search" back to the enabled plugins.

In f41f692 a plugin list was added to the mkdocs config
to add the "social" plugin. This removed the default "search" plugin
(I assume by accident).

See https://www.mkdocs.org/user-guide/configuration/#plugins for the
default plugins.

The plugin is quite handy for searching audit rules, etc., so fix it
by adding "search" back to the enabled plugins.
@woodruffw woodruffw added the documentation Improvements or additions to documentation label Dec 6, 2024
@woodruffw

Copy link
Copy Markdown
Member

Thanks @lazka! That was indeed an accident.

@woodruffw
woodruffw enabled auto-merge (squash) December 6, 2024 20:53
@woodruffw
woodruffw merged commit dde19f9 into zizmorcore:main Dec 6, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants