是否可以在推送过程中编辑源文件?

Is it possible to edit source files while push is in progress?

是否可以在推送过程中编辑源文件?为什么或为什么不?

可以。推送从对象数据库而不是文件推送提交、树和 blob。

另一方面,Pull 不仅将对象提取到对象数据库中,而且还更新文件。所以避免边拉边编辑。

当您执行 git push 时,推送的是舞台的内容。但是该内容已经提交,所以提交实际上是被推送的内容。因此,编辑源文件可能会使你的工作目录变脏,但不会影响stage,当然不会影响任何提交,因此不会影响推送。