【问题标题】:Is it possible to edit source files while push is in progress?是否可以在推送过程中编辑源文件?
【发布时间】:2018-01-18 19:51:09
【问题描述】:

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

【问题讨论】:

    标签: git version-control git-push


    【解决方案1】:

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

    另一方面,Pull 不仅将对象提取到对象数据库中,还更新文件。因此,请避免在拉取时进行编辑。

    【讨论】:

    • OTOH,如果你使用fetch(这通常是一个好主意,因为它的“自动魔法”行为较少)那么这就像推送一样,只关心数据库
    【解决方案2】:

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

    【讨论】:

    • 实际上推送的是数据库的内容,而不是舞台。
    • @MarkAdelsberger 从概念上讲,它是被推动的阶段。如果无法修改阶段,则也无法修改底层数据库。
    • 不,不是。从概念上讲,它是在git commit 期间committed 的阶段,但该阶段与推送无关。如果不是这样,则只能推送已签出的内容
    猜你喜欢
    • 1970-01-01
    • 1970-01-01
    • 2016-08-17
    • 2016-03-22
    • 2013-07-21
    • 2019-09-25
    • 1970-01-01
    • 2015-05-13
    • 1970-01-01
    相关资源
    最近更新 更多