title: Can git permanently ignore a remote branch?
body: <p>I'm using the Pages feature of GitHub. This works by putting the published HTML in a branch called <code>gh-pages</code>. I have two separate working directories, one for the project itself and one for the HTML docs.</p>
  
  <p>In the former, I want to completely ignore the <code>gh-pages</code> branch, as it's an unrelated line of work and I don't want it to clutter up my various commit visualizations.</p>
  
  <p>That is, what I have is:</p>
  
  <pre><code>$ git remote show origin
  * remote origin
    Fetch URL: git@github.com:reidpr/quac.git
    Push  URL: git@github.com:reidpr/quac.git
    HEAD branch: master
    Remote branches:
      bar              tracked
      foo              tracked
      gh-pages         tracked
      master           tracked
    Local branches configured for 'git pull':
      master    merges with remote master
    Local refs configured for 'git push':
      master    pushes to master    (up to date)
  </code></pre>
  
  <p>and what I want is something like:</p>
  
  <pre><code>$ git remote show origin
    [...]
    Remote branches:
      bar              tracked
      foo              tracked
      gh-pages         ignored
      master           tracked
    [...]
  </code></pre>
  
  <p>Note there are several branches that I <em>do</em> want to track, and just one that I don't. I want to specify the latter, not the former.</p>
  
  <p>I can delete the local references to <code>origin/gh-pages</code>, but then it comes back next time I <code>git fetch</code>.</p>