Why: the archived card still had a placeholder for its main-record PR
link, and the combo pins pointed at feature-branch commits instead of
the merged submodule main tips.
Evidence: Dev PR #29 merged as c6f5368; submodule PRs Frontend #9, UI
#9, Backend #12 merged (tips 0eb90665, 6068f146, 10f400a2, content
identical to the pinned feature commits).
Impact: one-line card backfill plus three gitlink advances; no code
change.
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
任务卡闭合补全:回填主记录 PR #29 链接;三仓 gitlink 推进到已合入 main 尖端(内容与原 pin 一致)。
6bb9d3bedctod10ffd2d90