Skip to content

Conversation

@meili-bot
Copy link
Contributor

This PR is auto-generated.

Fix documentation links redirection over the entire repository

Related to: meilisearch/integration-guides#257

@meili-bot meili-bot added the skip-changelog The PR will not appear in the release changelogs label Jun 20, 2023
/// Filters to apply.
///
/// Read the [dedicated guide](https://docs.meilisearch.com/reference/features/filtering.html) to learn the syntax.
/// Read the [dedicated guide](https://www.meilisearch.com/docs/learn/fine_tuning_results/filtering#filter-basics) to learn the syntax.
Copy link
Member

Choose a reason for hiding this comment

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

Not sure if this is the correct replacement, cc: @bidoubiwa

Copy link
Contributor

Choose a reason for hiding this comment

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

it's the correct one :)

bidoubiwa
bidoubiwa previously approved these changes Jun 20, 2023
Copy link
Contributor

@bidoubiwa bidoubiwa left a comment

Choose a reason for hiding this comment

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

bors merge

meili-bors bot added a commit that referenced this pull request Jun 20, 2023
484: Fix documentation links redirection over the entire repository r=bidoubiwa a=meili-bot

_This PR is auto-generated._

Fix documentation links redirection over the entire repository

Related to: meilisearch/integration-guides#257


Co-authored-by: meili-bot <74670311+meili-bot@users.noreply.github.com>
Co-authored-by: Bruno Casali <brunoocasali@gmail.com>
@meili-bors
Copy link
Contributor

meili-bors bot commented Jun 20, 2023

Build failed:

@bidoubiwa bidoubiwa self-requested a review June 20, 2023 10:09
@bidoubiwa
Copy link
Contributor

bors try

meili-bors bot added a commit that referenced this pull request Sep 25, 2023
@meili-bors
Copy link
Contributor

meili-bors bot commented Sep 25, 2023

@bidoubiwa
Copy link
Contributor

bors merge

@meili-bors
Copy link
Contributor

meili-bors bot commented Sep 25, 2023

Build succeeded:

@meili-bot meili-bot merged commit af55f36 into main Sep 25, 2023
@meili-bot meili-bot deleted the meili-bot/fix-docs branch September 25, 2023 15:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

skip-changelog The PR will not appear in the release changelogs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants