Skip to content

ci(Mergify): configuration update#23

Merged
dhellmann merged 1 commit intomainfrom
mergify/dhellmann/config-update
Jan 15, 2023
Merged

ci(Mergify): configuration update#23
dhellmann merged 1 commit intomainfrom
mergify/dhellmann/config-update

Conversation

@dhellmann
Copy link
Contributor

This change has been made by @dhellmann from Mergify config editor.

@dhellmann
Copy link
Contributor Author

This defines the rules to allow merges automatically when PRs are approved. CI does not yet pass, but we can test the rules with #21 where the tests do work.

@dhellmann dhellmann merged commit 58bb981 into main Jan 15, 2023
@mergify mergify bot added the Mergify changes to Mergify config label Jan 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Mergify changes to Mergify config

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

Comments