Repository navigation

merge queue: checking #1378 on main (26a533a) - #1398

Closed

mergify[bot] wants to merge 4 commits into

mainfrom

mergify/merge-queue/b7c6163334

Closed

merge queue: checking #1378 on main (26a533a)#1398
mergify[bot] wants to merge 4 commits into
mainfrom
mergify/merge-queue/b7c6163334

Commits on Oct 13, 2026
- cat-mode: local-only repos end in a local merge, never GitHub
  
  authored and
  CI Bot
  committed
  ae9861b
- cat-mode: avoid backticked gh reference
  CI Bot
  committed
  df8f867
- invoker: wf-1791870257543-107/repair — Repair PR #1378: failed_checks: test;
  CI Bot
  committed
  c79e019
- Merge of #1378
  
  mergify[bot]
  authored and
  mergify-commit-signer
  committed
  6b26474