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.

Sign up for GitHub

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

Jump to bottom

Use new bors URL of our self hosted bors instance #3721

Merged
merged 1 commit into from May 4, 2023
Merged

Use new bors URL of our self hosted bors instance #3721

merged 1 commit into from May 4, 2023

Conversation

curquiza
Copy link
Member

@curquiza curquiza commented May 2, 2023

No description provided.

@curquiza curquiza added documentation Related to the documentation of this repository maintenance Issue about maintenance (CI, tests, refacto...) labels May 2, 2023
@curquiza curquiza added this to the v1.2.0 milestone May 2, 2023
@curquiza curquiza requested a review from Kerollmops May 2, 2023 16:21
@curquiza
Copy link
Member Author

curquiza commented May 2, 2023

bors try

bors bot added a commit that referenced this pull request May 2, 2023
@bors
Try #3721:
028b501
meili-bors bot added a commit that referenced this pull request May 2, 2023
@meili-bors
Try #3721:
f6204d7
@curquiza
Copy link
Member Author

curquiza commented May 2, 2023

bors try-

Kerollmops
Kerollmops approved these changes May 3, 2023
View reviewed changes
Copy link
Member

@Kerollmops Kerollmops left a comment

Choose a reason for hiding this comment

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

Looks good to me, thank you @curquiza 😍
bors merge

meili-bors bot added a commit that referenced this pull request May 3, 2023
@meili-bors @curquiza
Merge #3721
e2ba6c1 
3721: Use new bors URL of our self hosted bors instance r=Kerollmops a=curquiza



Co-authored-by: curquiza <clementine@meilisearch.com>
@meili-bors
Copy link
Contributor

meili-bors bot commented May 3, 2023

Build failed:

@curquiza
Copy link
Member Author

curquiza commented May 4, 2023

bors merge

@meili-bors
Copy link
Contributor

meili-bors bot commented May 4, 2023

Build succeeded:

@meili-bors meili-bors bot merged commit 6bf66f3 into main May 4, 2023
9 checks passed
@meili-bors meili-bors bot deleted the bors branch May 4, 2023 08:30
@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
Reviewers

@Kerollmops Kerollmops Kerollmops approved these changes

Assignees
No one assigned
Labels
documentation Related to the documentation of this repository maintenance Issue about maintenance (CI, tests, refacto...) v1.2.0 PRs/issues solved in v1.2.0 released on 2023-06-05
Projects
None yet
Milestone
v1.2.0
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@curquiza @Kerollmops @meili-bot