title: How do I download binary files of a GitHub release?
body: <p>I have a repo with binary files in it that I need. </p>
  
  <p>I can</p>
  
  <pre><code>git checkout tags/thetagoftherelease
  </code></pre>
  
  <p>which seems to checkout the correct tag, but does not pull down the binary files. How can I pull down the binary files that were added to the release (the green boxes on the release)?</p>
  
  <p>Added picture of binary files in a release.</p>
  
  <p><img src="https://i.stack.imgur.com/jFXxM.png" alt="enter image description here"></p>