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

Fun:

  $ git log --online --decorate
  $ git log --graph --all

Use git fetch rather than git pull:

  get fetch origin
  git diff origin
  git checkout -b serverfix origin/serverfix