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

Update charabia v0.7.2 #3702

Merged
merged 3 commits into from
May 2, 2023
Merged

Update charabia v0.7.2 #3702

merged 3 commits into from
May 2, 2023

Conversation

ManyTheFish
Copy link
Member

@ManyTheFish ManyTheFish commented Apr 26, 2023

fixes #3701
fixes #3689
fixes #3285

@curquiza curquiza added this to the v1.2.0 milestone Apr 27, 2023
@curquiza curquiza added the tokenizer Related to the tokenizer repo: https://github.com/meilisearch/tokenizer/ label Apr 27, 2023
Copy link
Member

@irevoire irevoire left a comment

Choose a reason for hiding this comment

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

noice bors merge

@curquiza
Copy link
Member

curquiza commented May 2, 2023

@irevoire, you need to write bors merge in a newline, otherwise bors cannot hear you 😢 🐶

bors merge

bors bot added a commit that referenced this pull request May 2, 2023
3702: Update charabia v0.7.2 r=curquiza a=ManyTheFish

fixes #3701
fixes #3689
fixes #3285 

Co-authored-by: ManyTheFish <many@meilisearch.com>
@bors
Copy link
Contributor

bors bot commented May 2, 2023

Build failed:

@curquiza
Copy link
Member

curquiza commented May 2, 2023

bors merge

bors bot added a commit that referenced this pull request May 2, 2023
3702: Update charabia v0.7.2 r=curquiza a=ManyTheFish

fixes #3701
fixes #3689
fixes #3285 

3710: Updated messages pointing to the docs website r=curquiza a=roy9495

# Pull Request

Fixes partially #3668

## What does this PR do?
- ...Any messages referencing this docs site https://docs.meilisearch.com has been changed to this docs site https://meilisearch.com/docs .
 Thanks.

## PR checklist
Please check if your PR fulfills the following requirements:
- [x] Does this PR fix an existing issue, or have you listed the changes applied in the PR description (and why they are needed)?
- [x] Have you read the contributing guidelines?
- [x] Have you made sure that the title is accurate and descriptive of the changes?

Thank you so much for contributing to Meilisearch!


Co-authored-by: ManyTheFish <many@meilisearch.com>
Co-authored-by: TATHAGATA ROY <98920199+roy9495@users.noreply.github.com>
@bors
Copy link
Contributor

bors bot commented May 2, 2023

Build failed (retrying...):

bors bot added a commit that referenced this pull request May 2, 2023
3702: Update charabia v0.7.2 r=curquiza a=ManyTheFish

fixes #3701
fixes #3689
fixes #3285 

Co-authored-by: ManyTheFish <many@meilisearch.com>
@bors
Copy link
Contributor

bors bot commented May 2, 2023

Build failed:

@curquiza
Copy link
Member

curquiza commented May 2, 2023

bors merge

@meili-bors
Copy link
Contributor

meili-bors bot commented May 2, 2023

Build succeeded:

@meili-bors meili-bors bot merged commit c0e081c into main May 2, 2023
@meili-bors meili-bors bot deleted the update-charabia-v0.7.2 branch May 2, 2023 18:05
@meili-bot meili-bot added the v1.2.0 PRs/issues solved in v1.2.0 released on 2023-06-05 label Jun 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
tokenizer Related to the tokenizer repo: https://github.com/meilisearch/tokenizer/ v1.2.0 PRs/issues solved in v1.2.0 released on 2023-06-05
Projects
None yet
4 participants