Repository navigation

Fix merged state in pull request list output - #3468

Open

po-et wants to merge 2 commits into

github:mainfrom

po-et:fix/list-pr-merged-state

Open

Fix merged state in pull request list output#3468
po-et wants to merge 2 commits into
github:mainfrom
po-et:fix/list-pr-merged-state

Commits on Oct 9, 2026
- Fix merged state in pull request list output
  po-et
  committed
  4dbf51a
Commits on Oct 14, 2026
- Merge remote-tracking branch 'origin/main' into fix/list-pr-merged-state
  po-et
  committed
  262c99a