isis-project/isis-project — pull request #17 by palm-stuart-eichert (2012-07-09 18:03:03+00:00)
Title: Support the use of a git mirror

Example:
./build.sh -m github-mirror.mycompany.com

This will create 2 remotes for each repo:
* mirror - pointed to github-mirror.mycompany.com
* origin - pointed to github

Should speed up fetching for large repositories like WebKit if
a local mirror is available.