816ff27123
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. |
||
---|---|---|
.. | ||
.gitignore | ||
run.sh |