mirror of
https://github.com/block/buzz.git
synced 2026-08-18 06:50:31 +02:00
The inverse of Unlink: when the panel shows nothing (agent never
posted the link, discovery found no match) or the wrong PR, "Pin a
pull request…" / "Not this chat's PR? Change" opens an inline URL
input. A manual pin outranks every automatic source — posted links,
remembered auto pins, and branch discovery — and the auto-pin effect
never downgrades it. Pins store {href, manual} (older bare-string
entries still parse).
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>