title: Git revert a public commit only in local repository
body: <p>Suppose there is a public commit "xxxx" that I <em>think</em> caused a bug and I want to experiment locally with reverting that commit. </p>
  
  <p>If I understand correctly from the documentation on <code>git revert</code> (<a href="https://git-scm.com/docs/git-revert" rel="nofollow noreferrer">1</a>, <a href="https://www.atlassian.com/git/tutorials/undoing-changes" rel="nofollow noreferrer">2</a>), it works out the changes required to revert the target commit xxxx, <em>and pushes them to the public repository automatically</em>. Is that correct? It's that last part I'm worried about. </p>
  
  <p>I.e. will <code>git revert xxxx</code> revert xxxx in the public repository? </p>
  
  <p>If so, is there a way to do this just in my local working folder so I can build a copy of HEAD with that commit reverted and experiment with it, without affecting other developers? </p>
  
  <p>Do I need to use the <code>--no-commit</code> option: <code>git revert xxxx --no-commit</code>?</p>
  
  <p>Or is there another way I should do this? </p>
  
  <p>Thanks. </p>