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?

  • Change threshold on the similarity index for git merge with renaming involved (like -M --find-renames on diff)
  • Jenkins Git Plugin: How to build specific tag?
  • Git: Push changes after “git rm”
  • GitHub for Windows : how to unset svn-remote.svn.url
  • What does GitHub for Windows' “sync” do?
  • Can Git software (e.g. Gitbox, Github, SourceTree) use a remote repo instead of local?
  • How to push .txt.gz file to git
  • Git - Can you do something with rebase that you can't do with merge?
  • How to lookup the latest git commit hash from an ant build script
  • gitk: How to tell it “stop, don't load more commits”?
  • How Can I Resolve:“can not open 'git-upload-pack' ” error in eclipse?
  • Using SubModules on AppHarbor
  • 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.