Git notes

Setting up an intermediate repository:

On the intermediate host:

   $ git clone --mirror git@remote://repo-name

To pull from remote server:

   $ssh  intermediate-host 'cd mirror.git;git fetch origin;git push origin'

To sync to local one:

   $ git pull mirror; git push mirror