|
|
|
@@ -13,6 +13,15 @@ perspective. As a consumer of source, it isn't always guaranteed that |
|
|
|
the project you depend upon will continue to exist in the future. It |
|
|
|
could also be that older version are removed, etc. |
|
|
|
|
|
|
|
|
|
|
|
Quick start |
|
|
|
----------- |
|
|
|
|
|
|
|
1. Update the file `repos.txt` with a list of urls that you want to mirror. |
|
|
|
2. Run the script `doupdate.sh` to mirror all the repos. |
|
|
|
3. Optionally run `git push --mirror origin` to store the data on the server. |
|
|
|
|
|
|
|
|
|
|
|
Process |
|
|
|
------- |
|
|
|
|
|
|
|
|
