title: GitHub: How to do case sensitive search for the code in repository?
body: <p>I want to do a case sensitive search for a particular piece of code in a GitHub repository. Is it possible?</p>
  
  <p>I checked <a href="https://help.github.com/articles/searching-code/" rel="noreferrer">https://help.github.com/articles/searching-code/</a> and didn't find such a syntax rule. </p>