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

rank down release notes page in search results #159

Merged
merged 7 commits into from
Jun 7, 2023

Conversation

boegel
Copy link
Member

@boegel boegel commented May 24, 2023

cfr. https://squidfunk.github.io/mkdocs-material/setup/setting-up-site-search/#rank-down

This pushes down the release notes page when looking for PYPI_SOURCE for example, effectively listing more relevant search results higher up.

@boegel boegel added the enhancement New feature or request label May 24, 2023
@boegel boegel requested a review from branfosj May 24, 2023 06:09
.mdlrc Outdated Show resolved Hide resolved
@branfosj
Copy link
Member

branfosj commented Jun 4, 2023

@boegel Please pull in #165, as that should fix the linter false positive and allow us to merge this.

@boegel
Copy link
Member Author

boegel commented Jun 7, 2023

We should also do this for the API part of the docs

@boegel boegel force-pushed the rank_down_release_notes branch from 2ee54ce to f3d7ec7 Compare June 7, 2023 18:56
@branfosj
Copy link
Member

branfosj commented Jun 7, 2023

fixes #134

@branfosj
Copy link
Member

branfosj commented Jun 7, 2023

We should also do this for the API part of the docs

We'll do this in a follow up PR, as the auto-generated page are more complicated.

@branfosj branfosj merged commit 85ae74c into easybuilders:main Jun 7, 2023
@branfosj branfosj mentioned this pull request Jun 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants