title: Is there a difference between "remotes/origin/dev" and "origin/dev" in your local repo?
body: <p>Is there a difference between "remotes/origin/dev" and "origin/dev" in your local repo?</p>
  
  <p>I seem to have witnessed some discrepancy, but haven't yet proven it to myself.</p>