Arnaldo: git's book chapter: copying a repository to another server