v3.1.0

Added

• Console review comments on code: a "+" on every line, shift-click for a range of lines, a
  Markdown editor with preview, suggested changes shown as a small diff of current and proposed
  lines, ⌘/Ctrl+Enter to send, Escape to cancel, and resolved conversations collapsed.
• pando mirror --to URL [--every SECONDS]: keeps GitHub, GitLab, Bitbucket or any git
  remote up to date with a branch. Incremental, deterministic commits, never force-pushes,
  refuses to overwrite commits it did not make, and redacts credentials in messages.
• One server, many repositories: pandod server --platform REGISTRY --repos-metadata TEMPLATE [--repos-objects TEMPLATE] --platform-admins NAMES. Each repository has its own storage and
  landing queues; clients address SERVER/OWNER/NAME; calls without a repository reach the
  default one (ADR-022).
• pando repo create OWNER/NAME and pando repo list.
• The web console lists a server's repositories and shows only what the server supports.

Changed

• pandod server and pandod cache listen on 127.0.0.1 by default; listening on a network is a
  deliberate --listen 0.0.0.0:7420.

Fixed

• Console: the phone code view cut off line numbers and the first characters of each line;
  long titles no longer truncate to one line on phones; keys typed in a form never trigger
  page shortcuts.
• The web console kept one data cache across connections, so data from the demo or a previous
  server could appear after switching. Each connection now has its own cache.