Use separate scripts for cloning and preparing cached ones
Also use urlencode in cache repo dir
Showing
- benchmarks/basic_commands.py 3 additions, 2 deletionsbenchmarks/basic_commands.py
- clone_repos.py 5 additions, 47 deletionsclone_repos.py
- create_skip_file.py 14 additions, 42 deletionscreate_skip_file.py
- create_stripped_cached_repos.py 39 additions, 36 deletionscreate_stripped_cached_repos.py
- launch.sh 3 additions, 1 deletionlaunch.sh
Loading
Please register or sign in to comment