Merge pull request 'Close merged task cards (feature/card-close-20260930-160421Z)' (#76) from feature/card-close-20260930-160421Z into main
ci / test (push) Failing after 1m34s
ci / test (push) Failing after 1m34s
This commit was merged in pull request #76.
This commit is contained in:
+7
-1
@@ -1,6 +1,6 @@
|
||||
# fix/task-finish-close-followups 任务卡
|
||||
|
||||
任务主记录:<PR 链接,task-finish 时填写>;状态:进行中;owner:weichen
|
||||
任务主记录:PR #75 https://git-home.u1680832.nyat.app:30319/weichen/Agent-System-Dev/pulls/75(merge b696939eaa);状态:已完成(回填);owner:weichen
|
||||
|
||||
## 基线与授权
|
||||
|
||||
@@ -24,3 +24,9 @@
|
||||
- 结果:`cmd_finish` 删除 deinit 行并留注释说明共享 config 污染机理;AGENTS.md 闭合路径句改写;`.gitignore` 追加 `.zcodeignore`。bug 期间被并行会话现场复现:其 task-finish 后主检出 `submodule.*.url` 配置归零(uninit=12),本卡验证前已用 make sync 恢复。
|
||||
- 验证:`bash -n` 通过;abandon 冒烟——修复版脚本 start→FORCE_ABANDON=1 finish 一条假任务,断言共享 `submodule.*.url` 计数 12→12(修复前会归 0)、主检出 `submodule status --recursive` uninit=0、smoke worktree/分支全部回收;顺带证实 inline close 能兜底闭合并行会话漏闭合的卡(feature-gitea-access-facts,经 feature/card-close-20260930-155017Z 分支)。
|
||||
- 影响与剩余项:无剩余项;HTTPS API 与 SSH 在收尾阶段出现家服隧道整体瞬断,推送与 PR 推进待通道恢复后完成。
|
||||
|
||||
## 闭合记录(card-autoclose 回填)
|
||||
|
||||
- 依据:merge b696939eaafb2c5dac467b4d2ea976b402d967c4(PR #75)已包含于 origin/main,分支成果已落盘;本段为合入后回填。
|
||||
- 合并主题:Merge pull request 'Stop task-finish from uninitializing shared submodule config' (#75) from fix/task-finish-close-followups into main
|
||||
- 归档:随闭合移入 .task/archive/;任务执行期的过程证据见原任务记录与 PR。
|
||||
Reference in New Issue
Block a user