title: git push --force-with-lease vs. --force
body: <p>I am trying to understand the difference between</p>
  <pre><code>git push --force
  </code></pre>
  <p>and</p>
  <pre><code>git push --force-with-lease
  </code></pre>
  <p>My guess is that the latter only pushes to the remote <em>if the remote has commits that the local branch doesn't have</em>?</p>