Repository navigation

Reject `owner/repo` in `--repo`, deprecate `--pending-head` - #440

Merged

lelia merged 5 commits into

mainfrom

lelia/ce-490-491-repo-pending-head-flags

Nov 6, 2026

Merged

Reject `owner/repo` in `--repo`, deprecate `--pending-head`#440
lelia merged 5 commits into
mainfrom
lelia/ce-490-491-repo-pending-head-flags

Commits on Nov 4, 2026
- Reject owner/repo in --repo and deprecate --pending-head
  lelia
  committed
  8c5d3e9
- Shorten the 2.11.12 changelog to what users see
  lelia
  committed
  8f38c02
Commits on Nov 5, 2026
- Build PR comment manifest links from the full repository URL
  lelia
  committed
  800fde7
Commits on Nov 6, 2026
- Merge main into the --repo and --pending-head branch
  lelia
  committed
  5088b8c
- Merge main into the --repo and --pending-head branch
  lelia
  committed
  11a4fad