title: Git push only one file
body: <p>We have a public repo where everybody pushes. We sometimes want to pull&amp;push a single file without pulling the whole remote and pushing the whole merged local. I know a push must be a fast-forward, can we just fast-forward a single file?</p>
  
  <p>Is this possible? If not, why (by design?)?</p>