title: How do I go about with this git configuration which pushes to production from the private git server?
body: <p><code>Fedor</code> is my private git server, which houses a bare --init'd <code>repo.git</code> file.</p>
  
  <p><code>Vadim</code> is my production server, which houses a regular repo. </p>
  
  <p>I need <code>Vadim</code> to only pull from <code>Fedor</code>. There is no "staging" or middle man. Developers will push to <code>Fedor</code> always, and I want <code>Fedor</code> to automatically, upon being pushed, hook up <code>Vadim</code> with the latest <code>repo.git</code>.</p>
  
  <p>At this point, what I've done on <code>Fedor</code> is:</p>
  
  <pre><code>mkdir myrepo.git
  cd !$
  git --bare init
  </code></pre>
  
  <p>Then, locally I added <code>Fedor</code> as a remote origin and pushed to him. I setup a git repo on <code>Vadim</code> in <code>/var/www/html/foo/</code> and I added <code>Fedor</code> with:</p>
  
  <pre><code>git remote add origin git@FEDOR.com:repo.git
  </code></pre>
  
  <p>I have only used <code>git pull origin master</code> as this won't be doing any pushes. To reiterate, I want to automate the process so that when devs push to <code>Fedor</code>, some kind of hook is added so after pushing it automatically does a <code>git pull origin master</code> on <code>Vadim</code>.</p>
  
  <p>I'm open to rearranging the way <code>Vadim</code> is setup, as it has a very primitive setup.</p>