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?

  • how to checkout latest commit of a specific remote in bash script
  • Fatal: Could not read from remote repository with Bonobo on IIS
  • Why does git stash creates 2 commit objects? Seems like 1 was adequate
  • GitHub won't let me push
  • Offending lines appears while running ansible playbook to git clone a project
  • How to tell git-svn that files are NOT binary
  • When I am using Git, should I rebase before I merge?
  • Git repository from github empty green folder
  • Selecting commits to send in a pull-request
  • How to ignore existing file in Git?
  • Setting upstream to a submodule (or how to include a GitHub fork as a submodule)
  • Good way to develop Open Source without exposing credentials?
  • 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.