repos-cmp/scripts
Ivan A. Melnikov 816ff27123 BREAKING: Refactor repos loading
To avoid hardcoding repository names and make
the code more easily extendable, we now
use the keys from the config file as
the repository names instead of hardcoding
the fixed set of names.

This means most config will require updating.
2023-10-05 12:46:28 +04:00
..
.gitignore scripts: Use public resources in run.sh 2023-08-01 18:24:02 +04:00
run.sh BREAKING: Refactor repos loading 2023-10-05 12:46:28 +04:00