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

replace backport github action with mergify (backport #11321) #11463

Merged
merged 1 commit into from
Sep 16, 2024

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Sep 9, 2024

The current backport action cannot automerge because the github action bot does not trigger github CI actions. Mergify instead does not have this limitation and can also use a merge queue.

On top we have now a declarative configuration to allow contributers to mark new tests as required without having access to the github org.

An example pull request and backport can be seen here:

Mic92#4

and here:

Mic92#5

To complete the setup the mergify app must be enabled for this repository. It's already installed in the nixos organization for nixos-hardware and other repositories. Just go to
the settings for this repository and click on "GitHub Apps"

Motivation

Context

Priorities and Process

Add 👍 to pull requests you find important.

The Nix maintainer team uses a GitHub project board to schedule and track reviews.


This is an automatic backport of pull request #11321 done by [Mergify](https://mergify.com).

The current backport action cannot automerge because
the github action bot does not trigger github CI actions.
Mergify instead does not have this limitation and can also
use a merge queue.

On top we have now a declarative configuration to allow
contributers to add new tests to required without having access
to the github org.

An example pull request and backport can be seen here:

Mic92#4

and here:

Mic92#5

To complete the setup the mergify app must be enabled for this repository.
It's already installed in the nixos organization for nixos-hardware and
other repositories.

(cherry picked from commit 80f20fa)
@mergify mergify bot requested a review from edolstra as a code owner September 9, 2024 16:38
@mergify mergify bot added the merge-queue label Sep 9, 2024
@roberth roberth merged commit e873d00 into 2.23-maintenance Sep 16, 2024
19 checks passed
@roberth roberth deleted the mergify/bp/2.23-maintenance/pr-11321 branch September 16, 2024 10:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants