共用工作空间的跟踪问题

这是对 * 工作空间* 特性的跟踪问题。

□ 背景和摘要

请见https://GitHub.com/jj-vcs/jj/issues/4436。

□步骤

*[ ] ○ (1) 完成并合并 https://GitHub.com/jj-vcs/jj/pul/8252 ******

• ○ 重新建立https://GitHub.com/jj-vcs/jj/pull/4644,并创建新的PR********
• 列出工作空间探测中的角落案例并具体说明预期行为** [** TODO **] **
• 解决审查意见和任何其他问题** [《公约》]
• ○ 合并为 " 主要 " ** [** TODO **] **
• ○ (2) 列出命令中与工作空间相互作用的角落大小写并具体说明其行为** [** TODO **] **
• ○(3) 在经营 " jj git init -- -- Colocate " ** [** TODO ]时,拒绝在Git工作树上创建新的Jujutsu repo
• ○ TODO:检查它是否仍然如此
• ○ (4) 在jj git colocate capalient'和jj git colocate 禁用 ' 中添加工作空间支持** [** TODO **] **
• ○(5) 在`jj工作空间 ' 子命令中添加同地位置支持** [** TODO **] ** 见:https://GitHub.com/jj-vcs/jj/pul/4588。
• ○ (6) 添加支持多个 Git 头, 以避免在切换工作空间时再导入 ** [** TODO **] ** 见:https://GitHub.com/jj-vcs/jj/pul/4588。

侧向的追求#

[ [ 写一个权宜的 CLI 命令( 不合并) , 以创建工作空间, 用于现实世界测试目的 **

□ 注释

第(1)步将为共用工作空间带来内部支持,但MVP必须包括第(3)和(4)步才能使用.

步骤(6)将解决与`git head()'不一致和烦恼的问题。 引用我的话:

在我第一次实验之后, 我看见有三件事我想解决:

翻译:

1. 当一个工作空间不在同一位置时,jj日志仍然显示来自@default 工作空间的git head(),这误导了海事组织。 `git head()'在工作空间合用后得到适当更新;
2. 当工作空间之间前后切换时,Jujutsu似乎会从Git再导入状态,从而产生大量重复的更改;
3. 这一段当然与(1)和(2)有关:如果我们建立一个新的非同一地点的工作空间,`git head () ' 从最近访问的同地工作树指向Git总部,这不能产生一致的结果。

• 维护者注意:如果你认为这种追踪问题不合适,请关闭。 *