path: root/server
AgeCommit message (Expand)AuthorFilesLines
2018-07-31Update mrrepo script to support local repositoriesBoris Kolpackov1-57/+163
2018-06-04Make mkrepo to optionally add mirror remote URL to manifest fileKaren Arutyunov1-7/+27
2018-06-04Fix mrrepo script to filter out remote URL credentials from diagnosticsKaren Arutyunov1-8/+27
2018-05-28Add mirroring to remote repositoryKaren Arutyunov1-3/+81
2018-03-05Sync repo description in mrrepo scriptBoris Kolpackov1-1/+9
2018-02-06Fix incorrect old repository array parsing in mrrepoBoris Kolpackov1-1/+1
2016-10-23Minor doc changeBoris Kolpackov1-1/+1
2016-10-22Cleanup mkrepo, mrrepo some moreBoris Kolpackov2-15/+15
2016-10-17Cleanup mkrepo, mrrepo scriptsBoris Kolpackov2-77/+76
2016-05-18Increase curl timeout in mrrepo to 30 secondsBoris Kolpackov1-1/+1
2016-02-02Add --prune to git fetch in mrrepo to keep branches in syncBoris Kolpackov1-1/+1
2016-01-18Add script for mirroring, update creation script to supportBoris Kolpackov2-7/+166
2015-05-30Disable raw HTTP access to private repositoriesasBoris Kolpackov1-0/+4
2015-05-29Add server-side mkrepo scriptBoris Kolpackov1-0/+59