Skip to content

Merge branch 'main' into dev/remove_g3log

bb8578d
Select commit
Loading
Failed to load commit list.
Merged

Replace g3log with spdlog #45

Merge branch 'main' into dev/remove_g3log
bb8578d
Select commit
Loading
Failed to load commit list.
Mergify / Summary succeeded Jan 28, 2026 in 1s

1 potential rule

⚠️ The pull request has been merged by @amarburg

Rule: ask to resolve conflict (comment)

  • conflict
  • author!=mergify[bot]

1 not applicable rule

Rule: development targets main branch (comment)

  • base!=main
  • author!=mergify[bot]
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