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

Remove bors-ng and switch to GitHub actions merge-queue #480

Merged
merged 1 commit into from
Aug 1, 2023
Merged

Remove bors-ng and switch to GitHub actions merge-queue #480

merged 1 commit into from
Aug 1, 2023

Commits on Aug 1, 2023

  1. Remove bors-ng and switch to GitHub actions merge-queue 

    This removes the bors configuration and switches to the GitHub actions
merge queue merge bot. It replicates the required status checks for
bors to pass, and adds the appropriate GitHub merge group status
checks. This PR needs to be followed up with the appropriate
configuration applied in the repository settings.
    Leon Schuermann committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    ee10aac View commit details
    Browse the repository at this point in the history