-
-
Notifications
You must be signed in to change notification settings - Fork 611
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
remove Bors #1843
Comments
I removed the restriction to merge only through bors already |
So what purpose does |
It can still be used for merging, only is not strictly required. But yes, basically is just a step toward removing it |
Done in #2133. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
It's just extra friction with no real benefit
The text was updated successfully, but these errors were encountered: