title: Git push --all vs --mirror
body: <p>What is the difference between <code>git push --all</code> and <code>git push --mirror</code>?</p>
  
  <p>I only know this:</p>
  
  <ul>
  <li>With deleted local branch, <code>--all</code> doesn't push it and <code>--mirror</code> does.</li>
  </ul>
  
  <p>This is correct?</p>
  
  <p>Any other differences?</p>