Merge pull request #472 from deepseek-harness/worktree/history-only-prs-368-372-374-v2

chore: preserve demo PR histories without changing master tree
This commit is contained in:
Tianyi Cui authored and GitHub committed 2026-07-21 18:03:36 +08:00
commit cd13f0f8b7

Diff Content Not Available