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

Is it possible to edit source files while push is in progress? Why or why not?

  • I have been committing to wrong Git branch. How to cleanup?
  • WebStorm-like version control in Visual Studio Code
  • Git workflow--merging master into work branch for final merge
  • Get revision number of a tagged file in WinCvs
  • Can you prevent default-push, but allow pull?
  • SVN, GIT or Mercurial for local servers
  • Does git gets installed in IBM/AS400
  • Is Docker a replacement for git source control?
  • 2 Solutions collect form web for “Is it possible to edit source files while push is in progress?”

    You can. Push pushes commits, trees and blobs from the object database, not files.

    Pull, on the other hand, not only fetches objects into object database but also updates files. So avoid editing while pulling.

    When you do a git push, it is the contents of the stage which is getting pushed. But that contents has already been committed, so really the commit is what is getting pushed. Therefore, editing source files might make your working directory dirty, but it would not affect the stage, certainly would not affect any commits, and therefore could not affect the push.

    Git Baby is a git and github fan, let's start git clone.