This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

refactor(combinatorics/simple_graph/basic): Review `delete_edges` API #18257

Closed

YaelDillies wants to merge 1 commit into master from delete_edges_sdiff

Closed

refactor(combinatorics/simple_graph/basic): Review `delete_edges` API #18257

refactor(combinatorics/simple_graph/basic): Review `delete_edges` API

Mergify / Summary succeeded Mar 23, 2024 in 0s

no rules configured, just listening for commands

💖 Mergify is proud to provide this service for free to open source projects.

🚀 You can help us by becoming a sponsor!

Mergify commands and options

More conditions and actions can be found in the documentation.

You can also trigger Mergify actions by commenting on this pull request:

@Mergifyio refresh will re-evaluate the rules
@Mergifyio rebase will rebase this PR on its base branch
@Mergifyio update will merge the base branch into this PR
@Mergifyio backport <destination> will backport this PR on <destination> branch

Additionally, on Mergify dashboard you can:

look at your merge queues
generate the Mergify configuration with the config editor.

Finally, you can contact us on https://mergify.com

View more details on Mergify