title: push changes without pull
body: <p>I'm trying to undo some changes that have already been pushed to a remote repository, and I've done so locally with </p>
  
  <pre><code>git reset --hard COMMIT-HASH
  </code></pre>
  
  <p>But now it won't let me push without pulling first, which of course defeats the purpose. I've tried:</p>
  
  <pre><code>git push -f
  </code></pre>
  
  <p>Which errors out with:</p>
  
  <pre><code>Total 0 (delta 0), reused 0 (delta 0)
  remote: error: denying non-fast-forward refs/heads/master (you should pull first)
  To git@xxx.beanstalkapp.com:/yyy.git
   ! [remote rejected] master -&gt; master (non-fast-forward)
  error: failed to push some refs to 'git@xxx.beanstalkapp.com:/yyy.git'
  </code></pre>
  
  <p>So how do I get my new, correct version of the branch to the remote?</p>