Repository navigation

merge queue: checking #1378 on main (9cf9f36) - #1400

Closed

mergify[bot] wants to merge 4 commits into

mainfrom

mergify/merge-queue/b4aa2aa9c9

Closed

merge queue: checking #1378 on main (9cf9f36)#1400
mergify[bot] wants to merge 4 commits into
mainfrom
mergify/merge-queue/b4aa2aa9c9

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
  c8c2286