在版本控制下的Eclipse项目中创建新的根目录

Question

我正在为我的软件工程课程开展一个小组项目，我的教授已经指出我在Github上错误地设置了目录结构。我现在想纠正这个问题以避免成绩惩罚，但我很擅长使用Git。基本上我们在Github上有一个如下结构。

Lemma not_eq_S2: forall m n, S m <> S n -> m <> n.
Proof.
  unfold not.      (*                             |- ... -> False *)
  intros m n H C.  (* ..., H : S m = S n -> False |- False *)
  apply H.         (* ...                         |- S m = S n *)
  (* f_equal gets rid of functions applied on both sides of an equality,
     this is probably what you didn't find *)
  (* basically, f_equal turns a goal [f a = f b] into [a = b] *)
  f_equal.         (* ..., C : m = n              |- m = n *)
  exact C.
Qed.

我需要创建一个名为CodeComp的新目录，它将包含上面的目录结构，但README.md除外，它应与CodeComp目录位于同一级别。

由于我们的成绩取决于提交历史，因此需要保留。有没有一种简单的方法可以做到这一点，或者我们最好只在最终项目等级上采取小额扣除？

更新： 万一其他人将来必须这样做：

1. 转到包含项目的文件夹并创建新目录。
2. 将所有需要的文件移动到除。*文件之外的新目录中。刷新Eclipse。
3. 提交并将目录更改推送到repo，而不管Eclipse错误。
4. 从存储库中手动删除.classpath，.gitignore和.project文件。
5. 备份.classpath和.gitignore文件。删除repo的本地副本并重新克隆它。
6. 导入Git项目并选择将项目文件放在新创建的目录中。
7. 将备份的.classpath和.gitignore复制到新项目目录中。推动更改。

Answer 1

理论上，您应该能够使用标准文件浏览器将除.git和Readme文件之外的所有内容移动到新的子文件夹中，然后将其提交。

git历史记录仍然存在，但它可能会将其视为两个单独的文件，一个已被删除，另一个刚刚创建。根据我的经验，Git并不喜欢移动文件。

在任何情况下，您提交的历史记录仍将保留在存储库中，它只是移动文件时的两个独立部分。

但是，嘿......无论如何都要付出代价。我确信当我第一次学习版本控制时，我正在移动文件。它都在学习。

编辑：您可以通过在本地提交更改并在将其上游推送到Github之前检查历史记录来测试这一点。