- Nov 07, 2018
-
-
Pierre-Yves David authored
These won't be used anymore and can take a large amount of space.
-
- Aug 13, 2018
-
-
Pierre-Yves David authored
Copying have the advantage of keeping the content strictly indentical, including caches and configuration. This is important when comparing format variants. (However copying will be slower and take more disk space)
-
- Aug 01, 2018
-
-
Pierre-Yves David authored
This script creates all necessary reference in a single run
-
- Aug 02, 2018
-
-
Boris Feld authored
-
- Aug 01, 2018
-
-
Boris Feld authored
-
Boris Feld authored
-
Boris Feld authored
-
Pierre-Yves David authored
This make is easier to distinct from other config file.
-
Pierre-Yves David authored
This mirror `ID-reference` and seems "better".
-
Pierre-Yves David authored
-
Pierre-Yves David authored
This script is currently a duplicate of "create_stripped_cached_repos.py". We'll remove the old one once the new one is a bit more mature.
-
- Jul 31, 2018
-
-
Pierre-Yves David authored
We could use this to easily enable and disabled repository to benchmark on.
-
Pierre-Yves David authored
This might not be the best script ever, but it is a common reference.
-