Skip to content

merge queue: embarking main (dc2577e) and #139 together - #144

Closed
mergify[bot] wants to merge 3 commits into
mainfrom
mergify/merge-queue/3c8aac06b3
Closed

merge queue: embarking main (dc2577e) and #139 together#144
mergify[bot] wants to merge 3 commits into
mainfrom
mergify/merge-queue/3c8aac06b3

Merge of #139

7260aa3
Select commit
Loading
Failed to load commit list.
Mergify / Mergify Merge Protections completed Mar 14, 2026 in 0s

Merge protections ignored

Merge protections are ignored on the merge queue pull requests. Queue rules mechanism is used instead.

View more details on Mergify