title: git how to remove remote refs on server
body: <p>Per accident we pushed with <code>--mirror</code> and this results in having some additional refs on the server repo.</p>
  <p>We can see all the additional refs simply by ( Example only):
  <code>git ls-remote repo_mirror refs/remotes/*</code></p>
  <pre><code>22f860d115435693545aef85d81a7a11c29586ac    refs/remotes/play/master
  f2a62d053b911696f9166bdc07ea6da648706120    refs/remotes/play/br1
  f2a62d053b911696f9166bdc07ea6da648706120    refs/remotes/repo_all/br1
  22f860d115435693545aef85d81a7a11c29586ac    refs/remotes/repo_all/master
  </code></pre>
  <p>I can now manually delete each of these single refs with:
  <code>git push repo_mirror --delete remotes/play/br1</code></p>
  <p>Is there an option to delete all <code>/remotes/*</code> with a single command or loop?</p>