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

Move away from deprecated bors-ng #4251

Closed
4 tasks done
michaelsproul opened this issue May 2, 2023 · 5 comments · Fixed by #4917
Closed
4 tasks done

Move away from deprecated bors-ng #4251

michaelsproul opened this issue May 2, 2023 · 5 comments · Fixed by #4917
Assignees
Labels

Comments

@michaelsproul
Copy link
Member

michaelsproul commented May 2, 2023

Description

The Bors bot that we're using has been deprecated and will soon stop working: https://github.com/apps/bors.

They suggest using Github's own "merge queue" implementation instead, which seems to me like a good solution.

Steps to resolve

According to Github's docs someone with the highest level of privileges (@paulhauner) needs to require merge queues on the unstable branch: https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue#managing-a-merge-queue

I think for the settings we want:

  • Merge method: squash
  • Only merge non-failing pull requests: false (so we can batch two fixes that might pass together but not individually)
  • Timeout: 3 hours, per:

timeout_sec = 10800

We also need to add the merge_group event to the test-suite YAML (I'll raise a PR to do this now).

@michaelsproul
Copy link
Member Author

PR here: #4252. I reckon we should enable the merge queue and then try to merge that PR via the queue.

@michaelsproul
Copy link
Member Author

I'm taking a break from this for now because of the issue where Github's merge queue requires CI to finish before queueing (more here: #4254 (comment)).

If GitHub fix this soon we'll be able to switch over. If not we might want to host Bors ourselves

I found some more information about the Bors deprecation from its creator here: https://bors.tech/newsletter/2023/05/01/tmib-76/

@michaelsproul
Copy link
Member Author

@michaelsproul
Copy link
Member Author

Another workaround would be to skip the long-running jobs on pull requests, then run them only on the merge queue.

I was having a poke around some other people's workflow YAML to see what they do, and it seems this is a common approach, e.g.

@jimmygchen
Copy link
Member

It was mentioned in this blog post that the bors server will be shutdown once Github merge queue is out of beta. GitHub merge queue went out of beta in July as well, so probably worth looking into this soon.

@michaelsproul suggested another option is to self host our own Bors instance.

@jimmygchen jimmygchen linked a pull request Dec 12, 2023 that will close this issue
10 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants