title: Git: How to pull a single file from a server repository in Git?
body: <p>I am working on a site with a server running Git. I am using Git for deployment (not GitHub). This was set up prior to my involvement using a <a href="https://danbarber.me/using-git-for-deployment/" rel="noreferrer">hook method</a>, and I referred to <a href="https://stackoverflow.com/questions/11245424/pull-single-file-on-server">this question</a> and entered the commands below, but it didn't work.</p>
  
  <p>How do I pull a single file from the server? For instance, if I wanted to update my local file index.php? <code>git pull index.php</code>?</p>