-
-
Notifications
You must be signed in to change notification settings - Fork 789
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
Bors-NG is deprecated, Bors-NG public instance is removed in the near feature #2812
Comments
I would prefer if we moved to GitHub merge queues |
I prefer this as well since bors-ng will not be maintained anymore. The Github merge queue only partially takes care of the This should not be too difficult. It is a matter of adapting the workflows and testing it thoroughly. As a bonus, we can automatically build images whenever a new commit is pushed to a PR branch. That will be handy 👍 |
If the public bors instance goes down, we could use a self-hosted bors instance. I already set one up following the instructions on app.bors.tech. You can see that it is working here: |
https://bors.tech/newsletter/2023/05/01/tmib-76/
See the above blog.
The development of Bors-NG is feature frozen and deprecated.
The public Bors-NG instance we use is also deprecated. Somewhere in the future it will be taken down.
Before the public bors instance is taken down we have two options:
The text was updated successfully, but these errors were encountered: