Massively simplify cloning process further
commitc01896bc5cb483ec52bc71b36824677c6fa54bc6
authorPetr Baudis <petr.baudis@novartis.com>
Thu, 14 Aug 2008 18:20:27 +0000 (14 20:20 +0200)
committerPetr Baudis <petr.baudis@novartis.com>
Thu, 14 Aug 2008 18:20:27 +0000 (14 20:20 +0200)
treec61bb95ae9a3514ffab586c231ea86937f0a3cf1
parent742f15bc2818eeeb5b71a80c47de7c4e54dc4164
Massively simplify cloning process further

We will just outright initialize a new Git repository in premirror(),
and use git mirror in the clone job.
Girocco/Project.pm
mirroring/clone.sh